https://github.com/ekiciburak/decorated-logics-for-exceptions-effect
Tip revision: 82b9a92b4185a2540f9888abb9bb32563c5e93cd authored by ekiciburak on 11 September 2018, 21:03:56 UTC
copairs have the max decoration of the terms...
copairs have the max decoration of the terms...
Tip revision: 82b9a92
| File | Mode | Size |
|---|---|---|
| Axioms.v | -rw-r--r-- | 5.7 KB |
| COPYING | -rw-r--r-- | 34.3 KB |
| COPYING.LESSER | -rw-r--r-- | 7.5 KB |
| Decorations.v | -rw-r--r-- | 3.9 KB |
| Derived_CoProducts.v | -rw-r--r-- | 2.7 KB |
| Derived_CoProjections.v | -rw-r--r-- | 3.0 KB |
| LICENSE | -rw-r--r-- | 643 bytes |
| Prerequistes.v | -rw-r--r-- | 890 bytes |
| Proofs.v | -rw-r--r-- | 11.5 KB |
| README.md | -rw-r--r-- | 508 bytes |
| README.txt | -rw-r--r-- | 1.4 KB |
| Terms.v | -rw-r--r-- | 2.5 KB |
| make_Makefile | -rw-r--r-- | 126 bytes |
