Skip to content
GitLab
Explore
Sign in
Register
PLMZ
iTypes
Repository
itypes
test
ExtendedTLC
TestCases.hs
Find file
Blame
History
Permalink
define small dsl to construct terms (extendedTLC)
· 60e8d5d5
Pacak, André
authored
Jul 31, 2019
60e8d5d5