Skip to content
GitLab
Explore
Sign in
cduce
cduce
Repository
cduce
types
types.mli
Find file
Blame
History
Permalink
Use comp functions to simplify sigmas instead of direct calls to constructors
· 071890c0
Julien Lopez
authored
May 28, 2014
071890c0