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
thesis
da1a73b7
·
update title of thesis
·
Dec 09, 2022
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
conditional-eqns
073319ef
·
add non-conditional versions
·
Dec 06, 2022
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
qw-via-ac
dc7c2c6c
·
some changes/improvements from a few weeks ago
·
Jun 28, 2022
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
trying-finite-qw-types
4a3ee86d
·
remove old comments from fQW.agda
·
Apr 18, 2022
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
master
default
protected
31709267
·
Merge branch 'final' into 'master'
·
Mar 17, 2022
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
final-with-html
4326542a
·
temporarily commit the compiled html
·
Nov 01, 2021
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
final
7b63c1bf
·
remove generated html (use `agda --html` to regen)
·
Nov 01, 2021
!5
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
indexify
6c09be38
·
tidied up some comments
·
Oct 28, 2021
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
with-mpf-corrections
fa866d4d
·
tidying
·
Oct 14, 2021
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
local-wisc-hide-Size-def
7e416a02
·
But now I can't define QW without knowing Size
·
Oct 01, 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
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
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
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
existing-agda-code
df5e08bf
·
correct citation
·
Jan 05, 2021
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar