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 година