kryptiskt

Karma: 9930

Joined: 超过 13 年前

ID: kryptiskt

About

Developer from Sweden. Idris maintainer. Likes Haskell, Idris, Factor, Rust and Chez Scheme. @kryptiskt on Twitter.

Github: https://github.com/melted/ https://write.as/niklas

Visit submission history to see stories and comments by kryptiskt.