a lazylist. Also comes with some list/monad comprehension macros. taken out of notch1p/lean-snippets.
See my article for detailed implementation notes on comprehension macros.
| Name | Name | Last commit date | ||
|---|---|---|---|---|
a lazylist. Also comes with some list/monad comprehension macros. taken out of notch1p/lean-snippets.
See my article for detailed implementation notes on comprehension macros.