Ohad KammarAdd tests for default implict record type arguments767d9dc6 years agoHistory
NameLast commit messageLast commit date
..
expectedAdd tests for fully abstract records in Idris and Yaffle6 years ago
inputAdd tests for fully abstract records in Idris and Yaffle6 years ago
Record.yaffAdd tests for default implict record type arguments6 years ago
runAdd tests for default implict record type arguments6 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