Nathan Lilienthal
Nathan Lilienthal
This allows working with streams of data without having to map unwrap before passing off to `eval`, presumably, this will play nicely with a larger effort to handle errors.
There are a log of logger outputs atm.
Generalize the notion of a Token, so that users who want to use their own tokens which aren't based around things like unicode can do so simply and elegantly. This...
It'd be nice to be able to pass `parse` a stream. I'd be interested in looking into this possibly, if it's something you think would be able to be done...
This is a pretty common use case (for me at least). I define a base class: ``` ruby class Base # ... Contract String => String def foo(arg) # ......
I've been reading [this](http://www.ccs.neu.edu/home/tov/pubs/affine-contracts/affinecontracts10-bw.pdf) paper (I'm actually giving a lecture on it tomorrow 0.o) and it seems like we could implement this easily. Opening this issue mostly for myself, but...
It would be great to be able to write the following type ``` ruby BinaryTree = Rec[:bt, Or[Num, Pair[:bt, :bt]]] ``` Where `:bt` is the type of the whole binary...
The following results in an error, despite being completely valid code without the contracts. ``` ruby class A Contract None => B def foo B.new end end class B Contract...
I was re-reading the docs for a command's output today and I was surprised that the paragraph for the `command` parameter didn't mention the `format` section. This should make the...
It would be nice if there was an option to use the default colors of the terminal instead of the curses supplied ones.