Skip to content
GitLab
Explore
Sign in
MMT
examples
Repository
examples
source
inductive.mmt
Find file
Blame
History
Permalink
Added more examples of inductive types.
· c8bbedc8
ColinRothgang
authored
Nov 17, 2018
c8bbedc8