conal Karma 11 Created 19 years ago About Into typed functional programming & denotational design. See http://conal.net and http://conal.net/blog All submissions on HN · View profile on HN