Manual FIML V0.4 Manual Installation . Here is a short manual for the version 0.4. Contrasting with version 0.3, you can see the new syntax, and particularly the emphasis on reverse application, and abstraction-application mixing.
Pooled references are another goodie.
There is an introductory sample session . On Macintoshes, only the second option is available. Caml-light V0.5 or more is necessary. For batch compilation, just do make in the distribution directory. You then get an executable fiml , which you can move anywhere in your execution path.