GitHub - grin-compiler/estgi2: external stg interpreter in idris2

Name		Name	Last commit message	Last commit date
Latest commit History 13 Commits
custom-deps/idris2-json-aeson		custom-deps/idris2-json-aeson
src		src
test		test
estgi2		estgi2
estgi2.ipkg		estgi2.ipkg
extra.ss		extra.ss
notes		notes
pack.toml		pack.toml
roadmap-notes		roadmap-notes