strobe icon indicating copy to clipboard operation
strobe copied to clipboard

Published 20 hours ago • verified publisher icon brownplt

Instructions

Open achudnov opened this issue 11 years ago • 0 comments

Please, add instructions on how to build the typechecker from source and how to use it. Also, documentation on how to specify types would have been helpful.

achudnov avatar May 31 '13 22:05 achudnov