$ 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 …
Code generators can have an FFI to whatever language they want. The existing ones support Scheme and C. https://idris2.readthedocs.io/en/latest/ffi/ffi.html …
-
-
Thanks. I see that Idris2 support C FFI. But what about Typed Racket FFI?
-
There's a Scheme FFI, so I imagine you can call Typed Racket.
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.