isovector/cornelis Issues
`star` is bound twice
Closed 1Can't find interaction point 0
Updated 3Support -l in agsy
UpdatedUtils for debugging
Closed 1`Unknown function: nvimhs#start`
Closed 6Unicode input regression
Closed 2Minor highlighting issue
Closed 2Typo in arrow binding?
Closed 1Support for cubical path types
Closed 4Weird syntax highlighting
Closed 2Add max info height
Closed 1ghc version
Closed 2Cmd_goal_type_context_infer
Closed 4Tests are stuck
Closed 5Refine with argument
Closed 5Support killing agda
Closed 1Support literate agda
Closed 1