Michael MorganRemove trailing whitespace from Idris sources.e6121e07 years agoHistory
NameLast commit messageLast commit date
..
BSTree.idr
DataStore.idr
Direction.idr
expected
Generic.idr
Picture.idr
run
Shape.idr
SumInputs.idr
Tree.idr
TryIndex.idr
Vect.idr
Vehicle.idr

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