caryoscelus/agda: My dev branches of agda (i.e. mostly a mirror) @ js_amd

Andrés Sicard-Ramírez 06a20b7169 [ cleaning ] Removed .cvsignore files.		9 年之前
..
fptools.m4	2a6d0afdb5 m4 macros for configure	19 年之前
haskell.m4	2a6d0afdb5 m4 macros for configure	19 年之前
utils.m4	1b59de3bb0 checking version of optional programs	19 年之前