KevinMidboe/linguist
1
0
Fork 0
mirror of https://github.com/KevinMidboe/linguist.git synced 2026-01-06 01:15:33 +00:00
Code Issues Packages Projects Releases Wiki Activity
Files
37222d5622184be34f704c5f26f76ca4f51c8a55
linguist/samples/Literate Agda/NatCat.lagda
Tim Baumann cf15832504 add agda and literate agda support
2013-06-29 12:28:43 +02:00

2.5 KiB
Raw Blame History

View Raw
Reference in New Issue View Git Blame Copy Permalink