Skip to content
GitLab
Explore
Sign in
Register
PLMZ
iTypes
Repository
itypes
haskell
src
ADTypes
EliminateTypeArgumentOfCheck.hs
Find file
Blame
History
Permalink
eliminating type argument of check (harder to do because of complex program slice)
· 34ba88d4
Pacak, André
authored
Oct 31, 2019
34ba88d4