Skip to content
GitLab
Explore
Sign in
cduce
cduce
Repository
cduce
tests
lambda
src
lambdaTests.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