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