Hacker News new | past | comments | ask | show | jobs | submit login
user:kryptiskt
created:January 20, 2012
karma: 7012
about: Developer from Sweden. Idris maintainer. Likes Haskell, Idris, Factor, Rust and Chez Scheme. @kryptiskt on Twitter.

idris-chez: https://github.com/melted/idris-chez https://write.as/niklas

submissions
comments
favorites