Skip to content
GitLab
Explore
Sign in
FP
ghostcell
Repository
ghostcell
theories
typing
type.v
Find file
Blame
History
Permalink
Handle singleton in lists of type sepratatly, so that we avoid "++ []".
· 79e938f1
Jacques-Henri Jourdan
authored
Apr 22, 2017
79e938f1