HN
Hacker News
Top
New
Best
Ask
Show
Jobs
Single Page Web Applications in Idris | Hacker News Reader
Single Page Web Applications in Idris
github.com
4 points
·
ska80
·
·
1 comment
Open article
Save
View on HN
Alifatisk
·
First time hearing about Idris idris-lang.org, looks interesting
Reply on news.ycombinator.com