Skip to content
This repository was archived by the owner on Oct 26, 2023. It is now read-only.

Files

Latest commit

6a1b2c8 · Jan 25, 2021

History

History
8 lines (5 loc) · 287 Bytes

README.md

File metadata and controls

8 lines (5 loc) · 287 Bytes

Structure

The two most important directories are:

  • agda — the formalization of the type systems in Agda.
  • tex — the (human-readable) paper.

toy contains a toy proof-of-concept implementation of a language with refinement types that compiles to Idris.