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

Andrés Sicard-Ramírez 06a20b7169 [ cleaning ] Removed .cvsignore files.		10 年之前
..
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 年之前