A work-in-progress core language for Agda, in Agda
-
Updated
Aug 13, 2024 - Agda
A work-in-progress core language for Agda, in Agda
An Implementation of Various Linear Logics in Agda
LLVM Backend for Agda (BSc thesis)
Notes about "An introduction to Finite Group Representation Theory using Agda"
Add a description, image, and links to the agda-backend topic page so that developers can more easily learn about it.
To associate your repository with the agda-backend topic, visit your repo's landing page and select "manage topics."