Skip to content
GitLab
Explore
Sign in
Register
curry
curry-tools
Repository
curry-tools
optimize
src
BindingOpt.curry
Find file
Blame
History
Permalink
Replace (=:=) with the new 'constrEq' instead (no dict argument)
· 2fe12095
Kai-Oliver Prott
authored
Jan 05, 2020
2fe12095