projects / coinductive-monad.git / commit
| author | adam <adam@megacz.com> | |
| Sun, 28 Oct 2007 22:16:03 +0000 (22:16 +0000) | ||
| committer | adam <adam@megacz.com> | |
| Sun, 28 Oct 2007 22:16:03 +0000 (22:16 +0000) | ||
| commit | 68eb561f71dd052a346319cd1b92dd077cb1c8bb | |
| tree | 18166e80ed56cfb12f6cec28cf34bb202bb3b7fc | tree | snapshot |
| parent | f32b158060d2be2811e5ba058756c7dc3fb71672 | commit | diff |
| Computation/Termination.v | diff | blob | history |