diff options
| author | Helmut Grohne <helmut@subdivi.de> | 2012-01-21 10:58:14 +0100 |
|---|---|---|
| committer | Helmut Grohne <helmut@subdivi.de> | 2012-01-21 10:58:14 +0100 |
| commit | 6e458b738fd75fccac1c605091bfcf7486001533 (patch) | |
| tree | 3cbb7002ae371e3c979ccdfd366fe067bef938b4 /.gitignore | |
| parent | ce0fc8fe4e14491e52e796d2ddbaa07d90060697 (diff) | |
| download | bidiragda-6e458b738fd75fccac1c605091bfcf7486001533.tar.gz | |
split FinMap to FinMapMaybe
The FinMapMaybe is what FinMap previously was. The FinMap instead now really
maps its whole domain to something. This property is needed to avoid the
usage of fromJust in the definition of bff. With this split applied the
definition of bff is now complete.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions