chameco's submissions

1.		Literate Theorem Proving with Org (and Proof General) (chame.co)
		9 points by chameco on June 11, 2018 \| past \| 1 comment
2.		Show HN: Solid, a scripting language with a tiny VM (github.com/chameco)
		63 points by chameco on Sept 22, 2013 \| past \| 15 comments
3.		Hitman - A Markdown parser written in 66 lines of Clojure (github.com/chameco)
		3 points by chameco on Aug 9, 2013 \| past
4.		Show HN: Shade, a language based on C, Go, and Haskell (github.com/chameco)
		15 points by chameco on Dec 27, 2012 \| past