User: kryptiskt

  • Created: 4451 days ago
  • Karma: 9450
  • 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