Hacker News new | ask | show | jobs
user: chameco
created: 2012-12-06
karma: 88

submissions:

0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
Literate Theorem Proving with Org (and Proof General)
8 points | 1 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
Show HN: Solid, a scripting language with a tiny VM
63 points | 15 comments
Hitman - A Markdown parser written in 66 lines of Clojure
3 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
Show HN: Shade, a language based on C, Go, and Haskell
15 points | 0 comments
0 points | 0 comments
0 points | 0 comments