hash-org/hashc Issues
Allow constants at top-level
Updatedui: add command-line help menu
Closed 1Proper substitution merging
UpdatedMove out exhaustiveness
ClosedRemove old typechecker
ClosedWeak head normalisation
ClosedAdd equality judgement
Closed