|
Data
|
[ papers ] Computing with Generic Trees (#2661)
|
2022-09-16 11:40:09 +01:00 |
|
Language
|
[ new ] Dependent Tagless Final
|
2022-01-27 17:26:52 +00:00 |
|
Search
|
[ new ] Auto in Agda (+ bonus) (#2541)
|
2022-06-16 09:35:45 +01:00 |
|
Makefile
|
[ libs ] move propaganda out of contrib (#2213)
|
2022-01-25 12:25:55 +00:00 |
