search

stefan-hoeck / idris2-pack

BSD 3-Clause "New" or "Revised" License
90 stars 23 forks source link

Install idris2 with racket #247

Closed dannypsnl closed 1 year ago

dannypsnl commented 1 year ago

This changes tries to detect racket binary, and make it as a fallback to build idris2 if no chez scheme