Revision as of 15:19, 6 February 2021 by Gwern (Reverted edits by Tomjaguarpaw (talk) to last revision by Conal)
FunDble, for convenient Arrow definitions. See also
- Haddock comments for
- Moved the orphan
- Changed all files to *nix-style line endings.