Issues
- 0
Pull request?
#62 opened by 1337777 - 2
FFI + I/O + Exception Handling
#14 opened by solomon-b - 1
Basic Code Cleanup
#8 opened by solomon-b - 3
Inductive Types
#10 opened by solomon-b - 2
- 0
- 0
Type Hole De-Elaboration?
#58 opened by solomon-b - 0
- 1
Case Trees
#43 opened by solomon-b - 1
- 0
Infix/Mixfix Operators
#39 opened by solomon-b - 2
Engineering Pride
#21 opened by MonoidMusician - 1
Implicit Params
#46 opened by solomon-b - 0
Compile to JS and implement web based editor
#48 opened by solomon-b - 2
Cannot read file paths or modules named "Poly"
#30 opened by solomon-b - 2
Lexer fails with comment on final line
#29 opened by solomon-b - 0
Standard Library
#6 opened by solomon-b - 0
- 0
Bundle std-lib with poly projects automatically
#37 opened by solomon-b - 2
Improved Syntax
#3 opened by solomon-b - 1
- 0
Nested `let` bindings losing scope
#32 opened by solomon-b - 1
Modules / Imports
#16 opened by solomon-b - 1
Poly Composition Primitive
#9 opened by solomon-b - 1
Easier Installation Story
#5 opened by solomon-b - 0
Pretty Printing
#23 opened by solomon-b - 1
Negative Pi
#4 opened by solomon-b - 1
Free / Co-Free
#11 opened by solomon-b - 1
Document Type Theory Rules
#20 opened by solomon-b - 1
- 1
- 0
Documentation
#7 opened by solomon-b - 0
- 0
Export to Graphviz
#17 opened by solomon-b - 0
Definitional Fibres
#2 opened by solomon-b