5 commits

Author	SHA1	Message	Date
John Wiegley	c3f34e62ce	Use verbosity to control how much is displayed in error messages	2018-04-17 17:25:59 -07:00
John Wiegley	4f17250d11	More simplifying of imports	2018-04-14 09:44:55 -07:00
John Wiegley	58b65d2ce1	Don't evaluate to normal form by default in the top level evaluators	2018-04-13 19:29:18 -07:00
John Wiegley	99189e9536	The basic REPL now works; doesn't allow establishing definitions yet	2018-04-12 16:46:34 -07:00
John Wiegley	709cc5247e	Add code for doing Hindley-Milner type inference, and a repl ... This code was written by Stephen Diehl and Kwang Yul Seo, which they released under an MIT license as the project poly_constraints: https://github.com/kseo/poly_constraints The code is added to hnix right now as mainly a placeholder, and will need to be modified before it can be used.	2018-04-12 10:53:50 -07:00