4 ms·

I also enjoyed the last "Next Steps" reference at the end of "Functional Programming in Lean": - Functional Programming in Lean may be interesting to readers w

by dunham 3y ago

I also enjoyed the last "Next Steps" reference at the end of "Functional Programming in Lean": - Functional Programming in Lean may be interesting to readers who enjoy jokes about recursion.