| File | Mode | Size |
|---|---|---|
| Base.agda | -rw-r--r-- | 2.9 KB |
| Coinduction.agda | -rw-r--r-- | 1.7 KB |
| Container.agda | -rw-r--r-- | 5.8 KB |
| Equivalence.agda | -rw-r--r-- | 1.1 KB |
| FlexCoinduction.agda | -rw-r--r-- | 2.8 KB |
| FlexSCoinduction.agda | -rw-r--r-- | 3.1 KB |
| Induction.agda | -rw-r--r-- | 1.6 KB |
| SCoinduction.agda | -rw-r--r-- | 2.1 KB |
