Hacker News new | ask | show | jobs
user: luftibus
created: 2022-06-07
karma: 1

Science student turned functional programmer. I like Haskell, Scala, the Lean theorem prover and TLA+.

submissions:

0 points | 0 comments