skip to main
|
skip to sidebar
Mostly Decidable
Proofs are hard, lets go shopping!
6.04.2010
init
Words by
Dan
Well I think at least one post is required for my blog to actually be a blog. Here it is.
Newer Post
Home
About Me
Dan
Core Data Engineer @ Urban Airship. In my spare time I like to experiment with programming languages.
View my complete profile
Blog Archive
►
2013
(1)
►
October
(1)
►
2012
(1)
►
April
(1)
►
2011
(1)
►
January
(1)
▼
2010
(16)
►
December
(2)
►
October
(1)
►
August
(3)
►
July
(5)
▼
June
(5)
Moar Parsing
Cockerel and Exposing processes to webpages
Why Twisted Changed My Life
Cockerel: A simpler Proof Checker
init
Followers
Mostly-Decidable
by
Dan Colish
is licensed under a
Creative Commons Attribution-NonCommercial-ShareAlike 3.0 Unported License
.