Signs

A REPL for working with Abstract Categorial Grammar signs

Features:

• Type checking and inference
• LaTex export

Installation

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)

What is Abstract Categorial Grammar?

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