/hello-twelf

Examples from Chris Martens' course on Logical Frameworks.

hello-twelf

Examples from Chris Martens' course on Logical Frameworks.

Installation (Mac)

Required
git clone https://github.com/standardml/twelf && cd twelf
brew install smlnj
export PATH=/usr/local/smlnj/bin:"$PATH"
make smlnj
bin/twelf-server
(try loadFile <file>)
Recommended
brew install rlwrap
rlwrap bin/twelf-server
(try loadFile <file>)