granule-project/granule Issues
No Linux release for 0.9.5.0
UpdatedAdd CONTRIBUTING.md
UpdatedSpurious `()` in stdout
Closed 6Grammar railroad diagram
Updated 2Unification problem in `let`
UpdatedSecurity is broken
Closed 3Docker image missing StdLib
Closed 2Linearity Check Fails
Closed 4Double import issue
ClosedRelease notes have a broken link
Closed 1Blog link broken
Closed 1Bug in scoping of theorems
Closed 1Approximation with intervals bug
Closed 3