[<<][libprim][>>][..]

Mon Aug 17 09:59:05 CEST 2009

Making PF expressions available to scheme.

The requirement is to decouple them from the pf* state other than ex*.
Very straightforward: rename them px_ -> ex_ and use the
../ex/ex_prims.ss snarfer.

[Reply][About]

[<<][libprim][>>][..]