Open mperry opened 9 years ago
Need to fix https://github.com/Frege/frege-interpreter/issues/18 and https://github.com/Frege/frege-interpreter/issues/17 first.
I suspect https://github.com/Frege/frege-interpreter/pull/19 addresses both 17 and 18 above and this can now progress.
Need to fix https://github.com/Frege/frege-interpreter/issues/18 and https://github.com/Frege/frege-interpreter/issues/17 first.