https://bitbucket.org/akaposi/prop
Tip revision: 342f0758427932316130a5a5facbeb6844c55c17 authored by Ambrus Kaposi on 02 June 2022, 14:03:40 UTC
add supplementary link and remove negative spaces
add supplementary link and remove negative spaces
Tip revision: 342f075
| File | Mode | Size |
|---|---|---|
| Bot.agda | -rw-r--r-- | 588 bytes |
| Const.agda | -rw-r--r-- | 1011 bytes |
| Core.agda | -rw-r--r-- | 8.2 KB |
| Decl.agda | -rw-r--r-- | 23.8 KB |
| Func.agda | -rw-r--r-- | 5.0 KB |
| Props.agda | -rw-r--r-- | 6.9 KB |
| Sigma.agda | -rw-r--r-- | 3.1 KB |
| Top.agda | -rw-r--r-- | 451 bytes |
