Various mathematical objects defined as instances of the algebraic classes in the yap prelude.
See the Hackage page for documentation.
RossPaterson/yap-examples
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
| Name | Name | Last commit date | ||
|---|---|---|---|---|
Various mathematical objects defined as instances of the algebraic classes in the yap prelude.
See the Hackage page for documentation.