]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b3f8b89) | patch
A first example that uses a status monad where the status is a tree.
authorAndrea Asperti <andrea.asperti@unibo.it>
Fri, 29 Nov 2013 17:41:30 +0000 (17:41 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Fri, 29 Nov 2013 17:41:30 +0000 (17:41 +0000)
commit08141cb42e6caa637b062a645996f90fc4c8c166
tree19c62636e41ca03deb4057cec4ba58088faa0627tree | snapshot
parentb3f8b89278d193ed0aa0f39e7f8d74cf1de81d8dcommit | diff
A first example that uses a status monad where the status is a tree.
It should be possible to implement it imperatively and efficiently.
matita/matita/lib/MONADS/speranza.ma [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.