pass get functions as records
[~helmut/bidiragda.git] / Everything.agda
2014-01-30 Helmut Grohnesimplify compilation of the whole source