- Calling Go from Idris (see
examples/echo.idrfor an echo server) - Tail calls are implemented with
gotoif self-recursive and with a trampoline otherwise, hence arbitrary deep tail calls should work.
See the examples directory for some examples.
- Calling Idris from Go
- Not every of Idris primitive functions is implemented. The use of an unimplemented primitive function will result in a panic at runtime.
Easiest with Stack. See their documentation for details how to install it.
Assuming you have stack installed, then you can simply do:
stack build
To run the tests, execute:
stack test
stack exec idris -- -p go --codegen go examples/hello.idr -o hello.go
MIT/Expat. See LICENSE for details.