Geek Repo:Geek Repo
Github PK Tool:Github PK Tool
Use the lean 4 elaborator to transform freer monads into other data structures.
License:MIT License