Functional Programming in Lean – an in-progress book Posted by d_christiansen on Thursday June 09, 2022 @01:11PM from the leanprover.github.io dept. https://leanprover.github.io/functional_programming_in_lean/ ( no comments | 2 points | on HN )
There are no comments yet.