Skip to content
This repository was archived by the owner on Mar 29, 2019. It is now read-only.

kanigsson/who

Folders and files

NameName
Last commit message
Last commit date

Latest commit

author
Johannes Kanig
Feb 5, 2012
c45a37a · Feb 5, 2012
Sep 17, 2010
Apr 27, 2010
Apr 13, 2010
Sep 4, 2010
Nov 14, 2010
Apr 26, 2010
Apr 13, 2010
Sep 30, 2010
Sep 30, 2010
Apr 27, 2010
Sep 28, 2010
Apr 30, 2010
Oct 6, 2009
Sep 17, 2010
Apr 22, 2010
Apr 6, 2010
Apr 7, 2010
Mar 12, 2010
Mar 12, 2010
Apr 27, 2010
Feb 5, 2012
Apr 20, 2010
Jan 19, 2010
Apr 3, 2010
Mar 12, 2010
Mar 16, 2010
Apr 14, 2010
Feb 24, 2010

Repository files navigation

Who - A simple VCGen for higher-order programs.

This project is now abandoned. I leave it online for interested people; in particular, examples might be interesting.

Note that newer versions of Ocaml (>= 3.12) do not compile who.

To install the program, do:

autoconf
./configure
make
(sudo) make install

The binary will be installed in the default binary directory, and it is called who-vcg.

Common usage is:

who-vcg <file.who>

This will generate a file file_who.pge, for further treatment with pangoline.

Currently, pangoline needs the option --desectionize when given files generated with who-vcg.