Skip to content
GitLab
Explore
Sign in
progfunc
seminario-type-level-programming
Repository
seminatio-type-level-programming
src
closed-type-families.hs
Find file
Blame
History
Permalink
closed type families
· cc24f564
Francisco Castro Regueira
authored
Jun 06, 2020
and
Juan Pablo Garcia Garland
committed
Jun 06, 2020
cc24f564