port to agda/2.6.0.1 and agda-stdlib/1.1
[~helmut/bidiragda.git] / FreeTheorems.agda
2015-06-09 Helmut Grohnedrop the Function.Equality requirement from GetTypes
2014-10-14 Helmut Grohnedrop the injection requirement for gl₁
2014-02-17 Helmut GrohneMerge branch feature-partial-getlen into master
2014-02-04 Helmut Grohneremove unused imports
2014-02-04 Helmut GrohneMerge branch feature-get-record into feature-partial...
2014-02-03 Helmut GrohneMerge branch feature-get-record into master
2014-01-30 Helmut Grohneexpress VecBFF via PartialVecBFF
2014-01-30 Helmut Grohneallow importing of Bidir without any postulates
2014-01-30 Helmut Grohnepass get functions as records
2014-01-28 Helmut Grohnedefine bff on a partial getlen
2012-10-05 Helmut Grohnemove all postulates to one module