FAQ | This is a LIVE service | Changelog

Skip to content

Existing agda code 2

S.C. Steenkamp requested to merge existing-agda-code-2 into master

This is what we had before for our initial submission to LMCS. It uses Global WISC

Merge request reports