Asumu Takikawa 8ebbd3dfee GUI type fixes ... Due to either typos in documentation, adjustment to make contract generation easier, or where a more precise type than documented is needed for real uses.		2015-02-03 16:59:46 -05:00
..
typed	GUI type fixes	2015-02-03 16:59:46 -05:00
info.rkt	Add missing dependency.	2015-01-13 10:15:08 -05:00
LICENSE.txt	Remove extra directories.	2014-12-02 00:53:36 -05:00