Examples and exercises from "Functional Programming in Lean" - David Thrane Christiansen
grahamstrickland / lean Goto Github PK
View Code? Open in Web Editor NEWExamples and exercises from "Functional Programming in Lean" - David Thrane Christiansen