Tree @f076937 (Download .tar.gz)
PL-{GOTO}.NET
This is the reference distribution of PL-{GOTO}.NET, a literate Haskell
program which compiles a program written in PL-{GOTO} to an MSIL file which
can then be assembled by ilasm
to produce a .NET executable. PL-{GOTO}
is a pedagogical language, described in Brainerd and Landweber's Theory of
Computation (1974; ISBN 0471095850), in which it is possible to express
only computations which are primitive recursive.
The source code of the compiler is in the file PLexceptGOTOdotNET.lhs
in
the src
directory of the distribution. Being written in literate Haskell,
it also serves as documentation for the compiler.
A test suite in Falderal format can be found in the tests
directory and
can be run with the test.sh
script in the root directory.
A script that demonstrates the end-to-end usage of the compiler can be
found in the demo
directory (but it should be run directly from the root
directory.)
The materials in this distribution are in the public domain; see the file
UNLICENSE
for more information.
Commit History
@f07693706224a4260ef78a4edfe0e3273a8cd04b
git clone https://git.catseye.tc/PL-GOTO.NET/
- HTML document showing the Javascript-compiled version. Chris Pressey 4 years ago
- Enable compiling with hastec. Chris Pressey 4 years ago
- Reform build system. Chris Pressey 4 years ago
- Reform the test driver. Use appliances, single document of tests. Chris Pressey 4 years ago
- Change how `interpret` produces output, to match with compiled. Chris Pressey 4 years ago
- Drop Mercurial support. Also ignore any shared objects generated. Chris Pressey 4 years ago
- Update usage message: remove options that no longer exist. Chris Pressey 4 years ago
- Pacify ghc, which now cares that we inherit this from Parsec. Chris Pressey 5 years ago
- Remove deprecated `test` argument when running `falderal`. Chris Pressey 7 years ago
- Added tag rel_1_1_2015_0101 for changeset 531607536407 Chris Pressey 9 years ago