| Commit message (Collapse) | Author | Files | Lines |
|
|
|
rules. Removing for now.
|
|
handling universes. Commit for release 0.1.0!
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Definition of function composition and properties.
|
|
Definition of function composition and properties.
|
|
natural number predecessor function.
|
|
|
|
|
|
|