Hacker News new | comments | show | ask | jobs | submit login
user:kryptiskt
created:2101 days ago
karma: 5550
about: Developer from Sweden. Likes Haskell, Idris and Racket. @kryptiskt on Twitter.

idris-chez: https://github.com/melted/idris-chez

submissions
comments
favorites