| |
|
kryptiskt 10,301 karma
14y 1m on HN
HN profile → 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 | | Coverage
We've seen 1 of
an unknown number of submissions Full eval: 0 Lite-only: 0 Unevaluated: 1 | 1 stories |
| |