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