Kamil ShakirovPort code examples for chapters 13 and 14 from TypeDD book17044956 years agoHistory
NameLast commit messageLast commit date
..
Arith.idr
ArithCmd.idr
ArithCmdDo.idr
ArithTotal.idr
expected
Greet.idr
InfIO.idr
InfList.idr
Label.idr
run
RunIO.idr
StreamFail.idr
Streams.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