Support JVM codegen #13

Open

Open

Support JVM codegen#13

Labels

Codegen: https://github.com/mmhelloworld/idris-jvm

Pack support pending issue: github.com/stefan-hoeck/idris2-pack#146

Metadata

Assignees

No one assigned

Labels

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests