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