Plans
=====
PiSkyL		

Currently at K and moving to L, so need to revisit some of this:

Redo PiSkyD using the notation from PiSkyF and include PiSkyE and TermPi at the same time. This document may evolve a bit!

Present OGRe in the new syntax as from the failed PACT95 paper.

Develop a proper scheme from translating the language of PiSkyF into OGRe.

Can provide a case shorthand for matching.

Past Documents
==============

PiSkyF		A new version in which the $\nu$ notation is replaced by a form of agent which has a process as its body. This is nearly a one-level syntax with much more simple scripts.

PiSkyE		Pi in the Sky version 5. Term-Pi-Pi syntax. Simulation of Term-Pi-Pi by Term-Pi. The definition of Term-Pi is in the document TermPi. Simulation of Aync-Pi by Term-Pi-Pi. ?Translation of Facile into OGRe?. Translation of Facile into Term-Pi-Pi.

TermPi		Notes in text form of Term-Pi definition. Goes with PiSkyE.

PiSkyD	

PiSkyC	

PiSkyB	

PiSkyA