Skip to content
GitLab
Explore
Sign in
Register
curry
pakcs
Repository
pakcs
curry2prolog
swibasics.pl
Find file
Blame
History
Permalink
PAKCS 1.14.0: type Success is now a type synonym for Bool
· f42f902e
Michael Hanus
authored
Oct 12, 2015
f42f902e