Skip to content
GitLab
Explore
Sign in
cduce
cduce
Repository
cduce
tests
lambda
src
lambdaTests.ml
Find file
Blame
History
Permalink
Fresh variables for patterns kept after a call to Compile.approx_var.
· e18e076b
Julien Lopez
authored
May 21, 2014
[TESTS][LAMBDA] Improved pp_lambda; update a test
e18e076b