kryptiskt

has 9898 karma and joined 13 years ago

submissions / comments / favourites


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