GitHub - grin-compiler/agda-grin: GRIN backend for Agda

Name		Name	Last commit message	Last commit date
Latest commit History 1 Commit
examples		examples
src		src
Setup.hs		Setup.hs
agda-grin.cabal		agda-grin.cabal
default.nix		default.nix
shell.nix		shell.nix

About

GRIN backend for Agda

grin-compiler.github.io/

Custom properties

Report repository

Releases

No releases published

Packages

No packages published

Languages