Skip to content
Hacker News Board
Hacker News, browsed like a classic message board
Search Hacker News topics
Search
☰
Quick links
Front Page
Newest topics
Best topics
Ask HN
Show HN
Jobs
⌂
Board index
⌕
Search
?
FAQ
Read-only guest
Open HN ↗
Board index
2048 in Idris
Live data from Hacker News
2048 in Idris
github.com
Post reply on HN
Print view
View original
1–1 of 1 posts
2048 in Idris
#1
Post by
EzraVinh
»
Sun, Apr 20, 2014, 11:52 PM UTC
2048 in Idris
github.com
Post reply on HN