Skip to content
GitLab

CHANGELOG.

2 jobs for !304 with robbert/curry_uncurry in 7 minutes and 18 seconds (queued for 7 seconds)
latest merge request
28d53537
1 related merge request: !304 Add lemmas that say that `curry{3,4}?` and `uncurry{3,4}?` are inverses.