Edwin Bradynewtype optimisation471a4726 years agoHistory
NameLast commit messageLast commit date
..
CaseSplit.idrSimpler implementation of 'case'6 years ago
ExprSearch.idrnewtype optimisation6 years ago
GenerateDef.idrAdd impossibility flag to Erased6 years ago
MakeLemma.idrUpdate proof tutorial for Idris 26 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