Hacker News

User

kryptiskt

Registered:8 years ago
Karma:7004
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