Usuário: kryptiskt

Criado: 5239 dias atrás
Karma: 10354
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