PL-{GOTO}.NET

Implemented by Chris Pressey

pl-goto.net

Revision : 2011.1011

Download

Latest:	pl-goto.net-1.1-2011.1011.zip
	pl-goto.net-1.1-2011.0804.zip

Requirements

To run: All of
- Haskell 98
- Parsec
To test: Falderal

Description

PL-{GOTO}.NET is a compiler for the language PL-{GOTO} from Brainerd and Landweber's Theory of Computation (1974; ISBN 0471095850). PL-{GOTO} can express exactly the primitive recursive functions, and thus PL-{GOTO} programs always terminate. PL-{GOTO}.NET generates MSIL code which can then (using ilasm) be turned into a .NET executable. It can also execute PL-{GOTO}.NET programs directly.

Develop

PL-{GOTO}.NET development is hosted on Bitbucket.

Documentation

PLexceptGOTOdotNET.falderal (generated from PLexceptGOTOdotNET.falderal)
PLexceptGOTOdotNET.lhs (generated from PLexceptGOTOdotNET.lhs)

Browse

PLexceptGOTOdotNET.falderal
PLexceptGOTOdotNET.lhs
compiler-demo.sh
test.sh