search

stefan-hoeck / idris2-freer

Efficient, stack-safe implementation of freer monads.
BSD 3-Clause "New" or "Revised" License
4 stars 0 forks source link

[ upstream ] adjust to tailrec changes #4

Closed stefan-hoeck closed 1 year ago