use "module _" to simplify types involving Get records
[~helmut/bidiragda.git] / BFF.agda
2015-06-09 Helmut Grohnedrop barred members from GetTypes
2014-04-03 Helmut GrohneMerge branch feature-shaped into master
2014-04-03 Helmut Grohnedrop PartialShapeVec
2014-03-10 Helmut Grohnealso allow Shaped types for the view
2014-03-10 Helmut Grohneimplement a bff on a shaped source type
2014-03-07 Helmut Grohneuse allFin rather than tabulate id
2014-03-05 Helmut GrohneMerge branch feature-omit-sequence into master
2014-02-26 Helmut Grohneremove the sequenceV call from bff
2014-02-17 Helmut GrohneMerge branch feature-partial-getlen into master
2014-02-14 Helmut GrohneMerge branch feature-shape-update into master
2014-02-10 Helmut GrohneMerge branch master into feature-shape-update
2014-02-07 Helmut Grohneallow shape shape updates in bff
2014-02-05 Helmut Grohnebe more precise about which lookups we use
2014-02-04 Helmut Grohneremove unused imports
2014-02-04 Helmut Grohneadd convenience members to PartialVecVec.Get
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 Grohnemake the getlen functions explicit in PartialVecBFF
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
2014-01-27 Helmut GrohneMerge branch feature-delete
2014-01-27 Helmut GrohneMerge branch feature-decsetoid
2014-01-23 Helmut Grohnegeneralize BFF and theorem-2 to arbitrary Setoids
2014-01-17 Helmut Grohnegeneralize checkInsert to arbitrary Setoids
2013-12-17 Helmut Grohnerefactor to get rid of FinMap without Maybe entirely
2013-12-17 Helmut Grohneupdate bff implementation to use delete
2013-12-16 Helmut Grohneget rid of the ListBFF implementation
2013-07-21 Helmut Grohneimport _>>=_ and fmap from Data.Maybe
2012-10-22 Helmut GrohneMerge branch 'modparam'
2012-10-22 Helmut Grohnefinally parameterize CheckInsert
2012-10-22 Helmut Grohnenow parameterize BFF
2012-10-05 Helmut Grohnemove all postulates to one module
2012-10-05 Helmut Grohneremove VecRevBFF
2012-09-27 Helmut Grohnemove definition of get-type to BFF and use it everywhere
2012-06-19 Helmut Grohnethird definition of bff
2012-06-05 Helmut Grohnemake the Vec bff more similar to the List version
2012-06-05 Helmut Grohnedefine a bff over Vec
2012-06-05 Helmut Grohnemove bff and friends to submodule ListBFF