
Educators: Earn a free Gold upgrade by joining the PBwiki Back To School Challenge.
Look at ~ruml/ocmrc for config info and at one of the *.system files in one of the code libraries for an example system definition file.
There is a default result called "use". "ocm use" will compile all the files (except the result-specific ones) to bytecode and write a file, use.ml, that is useful for using with the toplevel. In the toplevel, say "#use "
Page Information
|
Wiki Information |
Recent PBwiki Blog Posts |