Skip to content
GitLab
Explore
Sign in
Register
curry
curry-libs
Repository
curry-libs
Prelude.pakcs
Find file
Blame
History
Permalink
constrEq and unifEq removed for PAKCS
· aa2a9946
Michael Hanus
authored
Jan 29, 2020
aa2a9946