GitHub repository: kim-em/lean-monadic-list
Primary language: Lean
Description: Further development of the Lean `MLList` monadic lazy list type.