Edwin BradyAdd prettyName59b66d66 years agoHistory
NameLast commit messageLast commit date
..
DataStore.idrRemove trailing whitespace from Idris sources.7 years ago
DescribeList.idrAdd Chapter 10 TypeDD tests7 years ago
DescribeList2.idrAdd Chapter 10 TypeDD tests7 years ago
DLFail.idrAdd Chapter 10 TypeDD tests7 years ago
expectedAdd prettyName6 years ago
IsSuffix.idrRemove trailing whitespace from Idris sources.7 years ago
MergeSort.idrAdd Chapter 10 TypeDD tests7 years ago
MergeSortView.idrAdd Chapter 10 TypeDD tests7 years ago
Reverse.idrAdd Chapter 10 TypeDD tests7 years ago
ReverseSnoc.idrAdd Chapter 10 TypeDD tests7 years ago
runAdd Chapter 10 TypeDD tests7 years ago
Shape.idrAdd Chapter 10 TypeDD tests7 years ago
Shape_abs.idrAdd Chapter 10 TypeDD tests7 years ago
SnocList.idrRemove trailing whitespace from Idris sources.7 years ago
TestStore.idrRemove trailing whitespace from Idris sources.7 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