You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
I'm not sure if we'll run into any problems with the termination checker...?
It might also be useful to see what the Agda Haskell backend does with such a function, since it should look more or less like a Haskell function. don't try too hard to get extraction to work, but if its simple, it'd be cool to do.
The text was updated successfully, but these errors were encountered:
and prove them sound and complete*
I'm not sure if we'll run into any problems with the termination checker...?
It might also be useful to see what the Agda Haskell backend does with such a function, since it should look more or less like a Haskell function. don't try too hard to get extraction to work, but if its simple, it'd be cool to do.
The text was updated successfully, but these errors were encountered: