]> matita.cs.unibo.it Git - fireball-separation.git/commit
projects / fireball-separation.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d996cf6) | patch
Added exception Lambda, which may be caught when a conv becomes a lambda
authoracondolu <andrea.condoluci@unibo.it>
Mon, 24 Jul 2017 12:55:04 +0000 (14:55 +0200)
committeracondolu <andrea.condoluci@unibo.it>
Mon, 24 Jul 2017 12:55:04 +0000 (14:55 +0200)
commit2dc40f471a59b3e192d5c9db14746292958315db
treed5835a9ef54de005b14ce9fe9de6300b729a35f7tree | snapshot
parentd996cf6c47fdea2409dfb2e94430b0d080b8e8aecommit | diff
Added exception Lambda, which may be caught when a conv becomes a lambda
ocaml/lambda4.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.