ToposInstitute/polytt Issues
Pull request?
UpdatedFFI + I/O + Exception Handling
Updated 2Basic Code Cleanup
Closed 1Inductive Types
Updated 3Type Hole De-Elaboration?
UpdatedCase Trees
Updated 1Testing
Closed 1Infix/Mixfix Operators
UpdatedEngineering Pride
Updated 2Implicit Params
Updated 1Standard Library
ClosedTutorials
ClosedImproved Syntax
Closed 2Modules / Imports
Closed 1Poly Composition Primitive
Closed 1Easier Installation Story
Updated 1Pretty Printing
UpdatedNegative Pi
Closed 1Free / Co-Free
Updated 1Document Type Theory Rules
Updated 1Fin
Updated 1Equality
Updated 1Documentation
UpdatedBlog Post
UpdatedExport to Graphviz
UpdatedDefinitional Fibres
Updated