$ git clone https://github.com/idris-lang/Idris2.git … $ make bootstrap SCHEME=chez $ make install Go on, you know you want to :)https://twitter.com/smdiehl/status/1262731208716365826 …
Hmm, I've been getting pretty low memory usage, at least relative to previous attempts at implementing Idris - generally hovering around 300Mb.
-
-
maybe it's something odd about my setup then; the problem arose already when I was just trying to compile chez scheme itself, independent of any idris code. shrug.
-
I should maybe try other versions of chez scheme (I'm on 9.5) to see what happens. The racket compiled version also hovered around the same level.
End of conversation
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.