1reg054.idr:18:5:When elaborating left hand side of inf:
2When elaborating an application of constructor Main.MkInfer:
3 Attempting concrete match on polymorphic argument: 0
4reg054.idr:34:7:When elaborating left hand side of weird:
5When elaborating argument x to Main.weird:
6 No explicit types on left hand side: Char
7reg054.idr:37:9:Can't convert
keysesc to close
- j k
- move down, up
- enter
- open
- esc
- back, or up a level
- 1 2 3 4
- readme, files, commits, refs
- /
- filter
- y
- copy the clone command
- c
- compare the chosen commit with another (or shift-click both)
- ?
- show or hide this list