Refinement Kinds: Type-safe Programming with Practical Type-level Computation (Artifact)

Refinement Kinds: Type-safe Programming with Practical Type-level Computation (Artifact)

This is the artifact for the paper Refinement Kinds: Type-safe Programming with Practical Type-level Computation. The artifact
consists of a prototype kind and type-checker (which also includes an evaluator) for the language described in the paper.

The artifact is distributed as a Docker image that bundles the source code, all its dependencies, the code examples from the paper and
various additional examples. See the README for a getting started and syntax guides.