freebsd-haskell/ports — pull request #8 by namore (2013-12-01 20:26:15+00:00)
Title: Idris port

Both C and LLVM backend of idris executable work fine. Interactive mode works, but not intensely tested.

To test yourself, use:

idris -o hello hello.idr

and:

idris --codegen llvm -o hello hello.idr

where hello.idr is:

module Main

main : IO ()
main = print "Hello, World!"