/lean-monadic-list

Further development of the Lean `MLList` monadic lazy list type.

Primary LanguageLean

MLList

build

Further development of the MLList monadic lazy list type.