Edwin BradyAdd prettyName59b66d66 years agoHistory
3 lines · 160 B · TextRawDownload
1/1: Building erased (erased.idr)erased.idr:7:17--7:21:While processing left hand side of nameOf at erased.idr:7:1--8:1:Can't match on Bool (Erased argument)

Keyboard shortcuts

General

Show keyboard shortcuts
?
Focus the current search
/

Issues and pull requests

Open filters
f

Issues, pull requests and Inbox

Select next item
j↓
Select previous item
k↑
Open selected item
Enter
Dismiss filters or clear selection
Esc

Repository code

Go to file
t