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
History
Tip revision: 6d00f452a8380c2aacc659b2a69b9f4b3accfa27 authored by LcicC on 09 February 2021, 12:53:43 UTC
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

README.md

back to top