Skip to content
GitLab
Explore
Sign in
MMT
examples
Repository
examples
source
inductive.mmt
Find file
Blame
History
Permalink
Added test theory for inductive data types.
· 90aeafe4
ColinRothgang
authored
Jun 14, 2018
90aeafe4