https://github.com/boystrange/FairSubtypingAgda
Revision 6d00f452a8380c2aacc659b2a69b9f4b3accfa27 authored by LcicC on 09 February 2021, 12:53:43 UTC, committed by LcicC on 09 February 2021, 12:53:43 UTC
1 parent 5d75ed0
Tip revision: 6d00f452a8380c2aacc659b2a69b9f4b3accfa27 authored by LcicC on 09 February 2021, 12:53:43 UTC
semantics
semantics
Tip revision: 6d00f45
File | Mode | Size |
---|---|---|
docs | ||
src | ||
.gitignore | -rw-r--r-- | 11 bytes |
LICENSE | -rw-r--r-- | 1.1 KB |
LICENSE.agda | -rw-r--r-- | 1.1 KB |
README.md | -rw-r--r-- | 1.7 KB |
Computing file changes ...