leanprover-community / lean4-samples

Code samples for Lean 4
Apache License 2.0
67 stars 22 forks source link

fun with monads #6

Closed lovettchris closed 1 year ago

lovettchris commented 1 year ago

this was mostly just a learning experience for me, but it might be useful for others...