HN Explorer

luftibus

↗ HN profile [ 13.9 ms ] full profile
Karma
1
Created
June 7, 2022 (4y ago)
Submissions
0
Science student turned functional programmer. I like Haskell, Scala, the Lean theorem prover and TLA+.

luftibus hasn't made any comments in our sample.