projects / coinductive-monad.git / commit
| author | adam <adam@megacz.com> | |
| Tue, 2 Oct 2007 12:33:10 +0000 (12:33 +0000) | ||
| committer | adam <adam@megacz.com> | |
| Tue, 2 Oct 2007 12:33:10 +0000 (12:33 +0000) | ||
| commit | ad8905d391e4e2015b6525a81a3b5e1ad607439e | |
| tree | a1fd14e9adc7a740cca81686b9f23d50d97177df | tree | snapshot |
| parent | 7439e43c33a10817e19e7a5f26435d2097dc262d | commit | diff |
| Computation/Eval.v | [moved from Recursion/Eval.v with 89% similarity] | diff | blob | history |
| Computation/Monad.v | [moved from Recursion/Monad.v with 100% similarity] | blob | history |
| Computation/Tactics.v | [moved from Recursion/Tactics.v with 96% similarity] | diff | blob | history |
| Computation/Termination.v | [moved from Recursion/Termination.v with 99% similarity] | diff | blob | history |
| Makefile | diff | blob | history |