rai

Racket Abstract Interpretation. More information on http://zwizwa.be/rai

This repository is a Racket package. To install:

raco pkg install github://github.com/zwizwa/rai/master

Follow the white rabbit in test/doodle.rkt