caryoscelus/agda

作者	SHA1 備註	提交日期
Robert Estelle	131b42b388 imports/api: Replace unnecessary readInterface overload	4 年之前
Andrés Sicard-Ramírez	4159b2c46f [ #983, #1168, #1232 ] Documented possible causes of error.	5 年之前
G. Allais	0a284d1070 [ fix #2610 ] Build directory for version specific agdai files (#3949)	5 年之前
Andrés Sicard-Ramírez	0beff983ad [ API test ] Removed Unicode symbols	10 年之前
Andrés Sicard-Ramírez	6ea0423cc7 [ issue 1168 ] Added test case	10 年之前