fix compilation with agda 2.5.3, agda-stdlib 0.14
[~helmut/bidiragda.git] / Makefile
2014-02-04 Helmut GrohneMerge branch feature-get-record into feature-partial...
2014-01-30 Helmut Grohnesimplify compilation of the whole source