inria-internship / examples /
..
booleans1.lambda reworked examples 12 months ago
booleans1.ml reworked examples 12 months ago
booleans2.lambda reworked examples 12 months ago
booleans2.ml reworked examples 12 months ago
booleans3.lambda reworked examples 12 months ago
booleans3.ml reworked examples 12 months ago
compile.sh examples again 1 year ago
cons.lambda reworked examples 12 months ago
cons.ml reworked examples 12 months ago
example0.lambda parser support for 'observe' in target programs 1 year ago
example0.ml parser support for 'observe' in target programs 1 year ago
example1.lambda finish parser support and convert all examples 1 year ago
example1.ml finish parser support and convert all examples 1 year ago
example2.lambda finish parser support and convert all examples 1 year ago
example2.ml finish parser support and convert all examples 1 year ago
example3.lambda finish parser support and convert all examples 1 year ago
example3.ml finish parser support and convert all examples 1 year ago
example6.lambda Environment in source symbolic engine (#29) 11 months ago
example6.ml reworked examples 12 months ago
example7.lambda finish parser support and convert all examples 1 year ago
example7.ml finish parser support and convert all examples 1 year ago
example8.lambda finish parser support and convert all examples 1 year ago
example8.ml finish parser support and convert all examples 1 year ago
example9.lambda finish parser support and convert all examples 1 year ago
example9.ml finish parser support and convert all examples 1 year ago
example9bis.lambda reworked examples 12 months ago
example9bis.ml reworked examples 12 months ago
foo.lambda finish parser support and convert all examples 1 year ago
foo.ml fix foo.ml 11 months ago
guards1.lambda finish parser support and convert all examples 1 year ago
guards1.ml finish parser support and convert all examples 1 year ago
guards2.lambda reworked examples 12 months ago
guards2.ml reworked examples 12 months ago
guards3.lambda reworked examples 12 months ago
guards3.ml reworked examples 12 months ago
nary_wildcards.lambda finish parser support and convert all examples 1 year ago
nary_wildcards.ml finish parser support and convert all examples 1 year ago
pairs.lambda reworked examples 12 months ago
pairs.ml reworked examples 12 months ago
simple_k.lambda finish parser support and convert all examples 1 year ago
simple_k.ml finish parser support and convert all examples 1 year ago
simple_k_guards.lambda examples for presentation 8 months ago
simple_k_guards.ml examples for presentation 8 months ago
tuple.lambda reworked examples 12 months ago
tuple.ml reworked examples 12 months ago
tuple2.lambda finish parser support and convert all examples 1 year ago
tuple2.ml finish parser support and convert all examples 1 year ago
tuple3.lambda finish parser support and convert all examples 1 year ago
tuple3.ml finish parser support and convert all examples 1 year ago
unusedmatch.lambda finish parser support and convert all examples 1 year ago
unusedmatch.ml finish parser support and convert all examples 1 year ago
variables.lambda reworked examples 12 months ago
variables.ml reworked examples 12 months ago
variables2.lambda Environment in source symbolic engine (#29) 11 months ago
variables2.ml Environment in source symbolic engine (#29) 11 months ago
wildcards_arity.lambda reworked examples 12 months ago
wildcards_arity.ml reworked examples 12 months ago