diff options
| author | JJ | 2024-06-18 23:19:18 +0000 |
|---|---|---|
| committer | JJ | 2024-06-20 20:47:35 +0000 |
| commit | a9ac20a10930cba0f7ab7294b8f46429671277e2 (patch) | |
| tree | 39e45576541f091b4058b1dc9962292cfe4ac26f /README.md | |
| parent | 47411b955bb6dad4fba1e3a5734341b6efe58d42 (diff) | |
stlc-rec: initial implementation
Diffstat (limited to 'README.md')
| -rw-r--r-- | README.md | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -9,8 +9,8 @@ For an introduction, see [*Explaining Lisp's quoting without getting tangled*](q * [x] STLC: The simply-typed lambda calculus. * [x] STLC-ext: Simple extensions. Sums, products, lists, ascryptions. * [x] STLC-fix: General recursion. +* [x] STLC-rec: Iso-recursive types. * [ ] STLC-sub: Subtyping. Structural records, intersective unions, implicit typeclasses, ⊤, ⊥. -* [ ] STLC-rec: Recursive types. Also sums, products, ascryption. * [x] STLC-ref: References. * [x] STLC-pred: Higher-order *predicative* references. Terminating. * [x] STLC-imp: Higher-order *impredicative* references. Terminating. |