Edwin BradyPut built ttcs in build/ttc, rather than build65db4fb7 years agoHistory
NameLast commit messageLast commit date
..
expectedChange main program to be Idris27 years ago
inputSupport eta in unification7 years ago
Interp.yaffAdded record declarations7 years ago
runPut built ttcs in build/ttc, rather than build7 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