Edwin BradyUpdate test outputf5962e16 years agoHistory
NameLast commit messageLast commit date
..
Ambig.yaffPay attention to visibility of names7 years ago
expectedUpdate test output6 years ago
inputAdd test for failed delayed elaborator7 years ago
runChange main program to be Idris27 years ago

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