dependent-types
Topic | Replies | Views | Activity | |
---|---|---|---|---|
Type-bound value constructors with checks | 3 | 831 | June 25, 2021 | |
Experimental OCaml backend for Agda | 0 | 975 | November 6, 2018 |
Topic | Replies | Views | Activity | |
---|---|---|---|---|
Type-bound value constructors with checks | 3 | 831 | June 25, 2021 | |
Experimental OCaml backend for Agda | 0 | 975 | November 6, 2018 |