]> matita.cs.unibo.it Git - fireball-separation.git/commit
Removed num_more_args
authoracondolu <andrea.condoluci@unibo.it>
Tue, 25 Jul 2017 07:59:42 +0000 (09:59 +0200)
committeracondolu <andrea.condoluci@unibo.it>
Tue, 25 Jul 2017 07:59:42 +0000 (09:59 +0200)
commit7d5ab4339cbbe0c694e6f7376bd92b9a19f5b98d
treeb136aec49e6fefbe89778443ddaa4589b313d952
parentc5ade141028e42ce4503c5c74cad2fef1a97e860
Removed num_more_args
ocaml/lambda4.ml