Skip to content
GitLab
Explore
Sign in
cduce
cduce
Repository
cduce
runtime
run_dispatch.ml
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