Version 0.0.0.4-0 of typerbole is deprecated.
The latest version of typerbole is 0.0.0.5-1.
typerbole
Version 0.0.0.4 revision 0 uploaded by Lokidottir.
Package meta
- Synopsis
- A typeystems library with exaggerated claims
- Description
Please see README.md
- Author
- Fionan Haralddottir
- Bug reports
- https://github.com/Lokidottir/typerbole/issues
- Category
- Typesystems , Typechecking , Type Theory , Educational , Lambda Cube , AST
- Copyright
- 2016 Fionan Haralddottir
- Homepage
- https://github.com/Lokidottir/typerbole
- Maintainer
- ma302fh@gold.ac.uk
- Package URL
- n/a
- Stability
- n/a