Skip to content

Instantly share code, notes, and snippets.

@donald-pinckney

donald-pinckney/function.idr

Created March 26, 2019 23:29
Show Gist options
  • Save donald-pinckney/27413e028c6f03e3b66bc144b36341c2 to your computer and use it in GitHub Desktop.
Save donald-pinckney/27413e028c6f03e3b66bc144b36341c2 to your computer and use it in GitHub Desktop.
Download ZIP
Idris Function Exported to JavaScript
Raw
function.idr
module MyFunction
export -- This is new
hello : String -> String
hello req = "Hello: " ++ req
-- This is all new
lib : FFI_Export FFI_JS "" []
lib =
Fun hello "hello" $
End
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment