tudelft-pl/jvm.agda
Typed Compilation of Middleweight Java to a JVM Bytecode subset in Agda
AgdaApache-2.0
No issues in this repository yet.
Typed Compilation of Middleweight Java to a JVM Bytecode subset in Agda
AgdaApache-2.0
No issues in this repository yet.