Skip to content
onsuggest
Log in
Book en

Type-driven Development with Idris

Source: Open Library ·

By Edwin Brady (2017). 30 recommendations on Hacker News.

Why it's interesting

Hacker News rank #813, 47 mentions, 30 recommenders.

Open the original Discover more

Keyboard shortcuts

Previous discovery
←P
Next discovery
→N
Like
L
Not for me
X
Save
S
Show this help
?
Close
Esc

Shortcuts work on the discovery page.