agda
| Topic | Replies | Views | Activity | |
|---|---|---|---|---|
| Experimental OCaml backend for Agda |
|
0 | 1012 | November 6, 2018 |
| Which language to use for general programming with dependent types? |
|
22 | 8005 | September 7, 2018 |