caryoscelus/agda

Autors	SHA1 Ziņojums	Datums
Andrés Sicard-Ramírez	b752b17dd1 [ api-test ] Added Agda file for the pretty-print test.	7 gadi atpakaļ
Andreas Abel	d39d94cdcd [ test/api ] Added type signature with syntax notation.	8 gadi atpakaļ
Andreas Abel	75e634bf1a Hunt for #2437: debug printing, api test app	8 gadi atpakaļ
Andrés Sicard-Ramírez	6ea0423cc7 [ issue 1168 ] Added test case	10 gadi atpakaļ