Added a comment
[homepage.git] / blog / posts / 2007 / 04 /
drwxr-xr-x   ..
-rw-r--r-- 2488 coq_as_a_geek_toy.mdwn
-rw-r--r-- 512 least_responsive_developer.mdwn
-rw-r--r-- 666 ocaml_3.10.0_beta_in_experimental.mdwn
-rw-r--r-- 648 phd_over.mdwn
-rw-r--r-- 1194 post_etch_frenzy.mdwn
-rw-r--r-- 427 signature_emptiness.mdwn
-rw-r--r-- 516 truffaut_o_truffati.mdwn