idris2-pack icon indicating copy to clipboard operation
idris2-pack copied to clipboard

Published 20 hours ago • verified publisher icon stefan-hoeck

[ FeatureRequest ] Add support for racket scheme

Open stefan-hoeck opened this issue 2 years ago • 0 comments

At the moment, the Idris2 installer will always use Chez Scheme. This should not be too hard to fix.

stefan-hoeck avatar May 07 '22 12:05 stefan-hoeck