It's a great idea! I'll look into it. Thanks for the pointer.
On Tuesday, June 10, 2014 5:50:27 AM UTC-4, René Donner wrote: > > I don't know how feasible it is, but a (perhaps optional) inclusion of the > functionality in https://github.com/astrieanna/TypeCheck.jl would be > great! > > >
