Skip to content
GitLab
Explore
Sign in
Register
curry
pakcs
Repository
pakcs
src
lib_src
prim_readshowterm.pl
Find file
Blame
History
Permalink
Fixes ForallType bug by removing ForallType when translating to PAKCS
· 7b2ff37d
Michael Hanus
authored
Jan 29, 2020
7b2ff37d