| Name | Date | Size | |
|---|---|---|---|
| .. | 2016-03-25 20:00:16 | 117 | |
| algorithm | 2008-08-26 17:19:38 | 4 | |
| CoLoSS | 2009-05-09 13:27:29 | 17 | |
| CombLogic.hs | 2013-11-29 03:57:59 | 675 | |
| CompositionalityExperiment.hs | 2013-11-29 03:57:59 | 2.2 KiB | |
| GenericSequent.hs | 2013-11-29 03:57:59 | 2.6 KiB | |
| ghc-call | 2008-06-17 19:45:42 | 34 | |
| GMP-CoLoSS | 2016-03-25 20:00:16 | 6 | |
| Main.hs | 2016-03-25 20:00:16 | 4.1 KiB | |
| Makefile | 2008-12-22 14:28:28 | 90 | |
| ModalLogic.hs | 2016-03-25 20:00:16 | 3.1 KiB | |
| papers | 2010-06-23 10:56:25 | 6 | |
| Parser.hs | 2016-03-25 20:00:16 | 8.5 KiB | |
| Proof.hs | 2013-11-29 03:57:59 | 5.8 KiB | |
| SegExamples.hs | 2010-09-01 00:15:26 | 638 | |
| tests | 2011-04-08 15:52:04 | 9 | |
| utils | 2008-07-24 23:56:35 | 4 |