HN Explorer

d_christiansen

↗ HN profile [ 42.5 ms ] full profile
Karma
0
Created
()
Submissions
0
  1. Functional Programming in Lean (leanprover.github.io)
    159 points 38
  2. Functional Programming in Lean – an in-progress book (leanprover.github.io)
    2 points 0