Hey, check out what ACS courier delivered to me this morning!
Notice the "Collector's Edition Includes: Game DVD, Music CD, Booklet and Poster" on the machinarium title. I love such stuff!
Monads in Lean
-
This post demonstrates how to use monads in the Lean programming language
(Lean 4, to be specific). If you're not familiar with Lean, this part of
the la...
13 hours ago

No comments:
Post a Comment