Packages
code This package contains all the packages of the virtual machine.
code.instr This package abstracts the instructions of the functional logic virtual machine.
code.lang This package implements built-in modules for builtin types such as the integers, float, char etc.
code.loader Loader Package contains classes that load modules on demand.
code.loader.except This package contains all exceptions thrown by the various components of the loader package.
code.loader.parser write about the package code.loader.parser
code.loop  
code.modules This package abstracts a Curry Module.
code.space  
code.stuff  
code.subst This package abstracts a substitution.
code.symbols This package abstracts symbols.
code.table  
code.term  
code.type This package abstracts a type.