local-wisc-partB-attempt-1 · Tags · S.C. Steenkamp / 2020-qw-types-agda-via-wisc-sizes · GitLab

FAQ | This is a LIVE service | Changelog

Skip to content

GitLab

Explore

Sign in

S.C. Steenkamp
2020-qw-types-agda-via-wisc-sizes
Tags
local-wisc-partB-attempt-1

local-wisc-partB-attempt-1

S.C. Steenkamp

4b00d9d6 · asdfasdfasdf the Σ ⊕ (fst Γ) thing is correct..... · Sep 20, 2021

Download source code
zip

tar.gz

tar.bz2

tar

asdfasdfasdf the Σ ⊕ (fst Γ) thing is correct.....