Skip to content
GitLab
Explore
Sign in
Register
v3.0.0
Michael Hanus
@mh
0b0d7370
·
Higher-order rules for encapsulated search operations replaced by first-order...
·
Sep 15, 2023
v3.0.0
