aosabook/500lines — pull request #29 by astrieanna (2014-02-16 23:47:21+00:00)
Title: Type-Base Static Analysis in Julia

This is currently the code from the TypeCheck.jl package for Julia. I'm considering refactoring it a little this week and/or find a test to add that is different from the tests I already have. (The README does a fair job of explaining current functionality.)