/wand-plus

Common lisp implementation of Dr. Kothari's extended Wand algorithm for type inference

Primary LanguageCommon Lisp

Wand-plus

This is an implementation of the extended wand algorithm for Hindley-Milner type inference as described by Dr. Kothari.

Building

First you need to install roswell.

And then qlot:

ros install qlot

To build the project:

# to locally install the dependencies
ros exec qlot install

# to start a swank server with access to the local :wand-plus system
ros exec qlot exec ros -S . -e '(ql:quickload :swank) (swank:create-server)'

# to run <cmd> <args>... with access to the local :wand-plus system
ros exec qlot exec <cmd> <args>...