Alexander Bandukwala
Alexander Bandukwala
Follow progress on https://github.com/7h3kk1d/lambda/tree/mvar
I'll take a look
Still having this problem and it makes it pretty unusable if myu window is even relatively narrow.
> @green726 are you taking a look at this PR or what is the plan? @7h3kk1d This was still in dev from my perspective but @green726 is going to take...
:+1:
@green726 I believe I saw failures similar to your last commit when my local reason version was out of sync with make deps. Let me know if you need any...
Not sure if there's a reason it wouldn't work but could we move the core -> menhir conversion functions out of core and into the menhir package and flip the...
It also might be useful to pull in the [coverage branch](https://github.com/hazelgrove/hazel/pull/1368) to see which forms haven't been exercised. ![Picture of code coverage in the TermBase module showing which forms have...
> > Not sure if there's a reason it wouldn't work but could we move the core -> menhir conversion functions out of core and into the menhir package and...