minze/univTypes
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
6 Commits 1 Branch 0 Tags
main
T
Clone
Open with VS Code Open with VSCodium Open with Intellij IDEA
Download ZIP Download TAR.GZ Download BUNDLE

README.md

UniverseLevelTypes

Master Project

Reference in New Issue View Git Blame Copy Permalink
S
Description
Master Project
Readme 94 KiB
Languages
Agda 100%