Freelance work in private repos (sorry activity graph)
BEng in Computer Science (2016)
Magento Frontend developer (2019-2021)
Shopify (2022)
Pinned Loading
-
Calculating-Compilers
Calculating-Compilers PublicThe source code for the supplementary material with the Bahr Hutton paper
Coq
-
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.