local-wisc-after-andy-refactor · 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-after-andy-refactor

local-wisc-after-andy-refactor

S.C. Steenkamp

9914d95c · better definition of binary sum · Sep 23, 2021

Download source code
zip

tar.gz

tar.bz2

tar

better definition of binary sum