[All bundles]

jvm_in_ciao

Version: 1.0
Source: repository
Dependencies: ciaopp

JVM implemented in Ciao

(Undocumented: see source code and experiments for more details)