Guillaume Allais[ fix ] resugar to drop name prefixes8cb17de6 years agoHistory
5 lines · 202 B · TextRawDownload
1/1: Building ZFun (ZFun.idr)ZFun.idr:13:7--15:1:While processing right hand side of bar at ZFun.idr:13:1--15:1:Main.test is not accessible in this contextMain> [tc] Main> 10[tc] Main> Bye for now!

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