KevinMidboe/linguist
1
0
Fork 0
mirror of https://github.com/KevinMidboe/linguist.git synced 2026-03-10 16:09:32 +00:00
Code Issues Packages Projects Releases Wiki Activity
Files
6f8278aa790ed62c1e0959f5bfc2b3304f209415
linguist/samples/Literate Agda
History
Tim Baumann cf15832504 add agda and literate agda support
2013-06-29 12:28:43 +02:00
..
NatCat.lagda
add agda and literate agda support
2013-06-29 12:28:43 +02:00