Skip to content
GitLab
Explore
Sign in
MMT
LATIN2
Repository
LATIN2
source
type_theory
endofunctors
collection_types.mmt
Find file
Blame
History
Permalink
Adding data types related to functional programming
· 598a53f5
MoritzBloecher
authored
Aug 15, 2022
598a53f5