A REPL for working with Abstract Categorial Grammar signs
Features:
- Type checking and inference
- LaTex export
git clone https://github.com/ChrisBlom/Signs.git
cd Signs
cabal configure
cabal install
Start the interpreter:
~/.cabal/bin/Signs
Load a grammar:
:l opt
Interpret a sign:
(RUN JOHN)
Abstract Categorial Grammar (ACG) is a formal framework that uses lambda calculus to model languages.
For more info, see:
http://www.loria.fr/equipes/calligramme/acg/ http://okmij.org/ftp/gengo/NASSLLI10/index.html