Issues
- 2
Overloaded Types
#6 opened by Hazelfire - 0
Compile Pedant to Squiggle
#15 opened by Hazelfire - 0
- 0
- 1
- 2
Make it easier to navigate between docs and repo
#13 opened by samestep - 4
Some usability suggestions
#5 opened by NunoSempere - 0
Verification of type checker
#12 opened by Hazelfire - 0
Pretty Printing evaluation expressions.
#9 opened by Hazelfire - 0
Better error messages
#10 opened by Hazelfire - 0
A testing suite
#7 opened by Hazelfire - 4
Project does not build on Ubuntu 20.04
#2 opened by NunoSempere - 1
Good stuff
#1 opened by tom-frantz