agda
Topic | Replies | Views | Activity | |
---|---|---|---|---|
Experimental OCaml backend for Agda |
![]() |
0 | 845 | November 6, 2018 |
Which language to use for general programming with dependent types? |
![]() ![]() ![]() ![]() ![]() |
22 | 6216 | September 7, 2018 |