| name | axiom | ||||||||||||
| version | 1.16 | ||||||||||||
| requires | |||||||||||||
| meta.description | Standard axioms | ||||||||||||
| meta.author | Joe Leslie-Hurd <joe@gilith.com> | ||||||||||||
| meta.license | MIT | ||||||||||||
| meta.show | "Data.Bool" | ||||||||||||
| meta.show | "Function" |
| name | main |
| imports |
|
| name | extensionality |
| package | axiom-extensionality-1.9 |
| name | choice |
| package | axiom-choice-1.8 |
| name | infinity |
| package | axiom-infinity-1.12 |