Skip to content
GitLab
Explore
Sign in
cduce
cduce
Repository
cduce
runtime
value.ml
Find file
Blame
History
Permalink
Replace Sel(_,_,Id) with Id; eval_sigma now returns empty on Mono
· d26512ad
Julien Lopez
authored
Jun 03, 2014
[TESTS][LAMBDA] Update tests; improve lambda printer
d26512ad