conal Karma 11 Created 18 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