| user: | kryptiskt |
| created: | 20/1/2012 |
| karma: | 10536 |
| 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 |
| user: | kryptiskt |
| created: | 20/1/2012 |
| karma: | 10536 |
| 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 |