FAQ
| This is a
LIVE
service |
Changelog
Skip to content
GitLab
Explore
Sign in
S.C. Steenkamp
2020-qw-types-agda-via-wisc-sizes
Repository
Branches
Overview
Active
Stale
All
Stale branches
existing-agda-code
df5e08bf
·
correct citation
·
Jan 05, 2021
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
i-don-t-think-this-works
9113f11c
·
I don't think this works
·
Aug 24, 2021
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
this-does-not-work-either
12e276f7
·
need to replace "Local Wisc" by "IWISC" throughout to agree with the paper
·
Sep 09, 2021
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
local-wisc-partB
572505ed
·
I got close but it's messed up this way
·
Sep 21, 2021
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
local-wisc-open-CocontinuityOfTakingPowers
1d1dc720
·
How could I fill the other holes!?
·
Oct 01, 2021
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar