Skip to content

Instantly share code, notes, and snippets.

@startling

startling/small.coatl

Last active December 19, 2015 09:28
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save startling/5932661 to your computer and use it in GitHub Desktop.
Save startling/5932661 to your computer and use it in GitHub Desktop.
Download ZIP
Right (Module {_module' = Just (ModuleName ["small-example"]), _modDoc = Just "A small example module!", _imports = [ModuleName ["internal"]], _modPragma = [NoPrelude], _declarations = [Declaration {_named = "id", _declared = Lambda (Lambda (Reference Nothing)), _annotation = Annotation {_type' = Just (Call (Call (Reference (Just (ModuleName ["i…
Raw
small.coatl
[ import = [ internal ]
, module = small-example
, pragma = no-prelude
, doc = "A small example module!"
]
id _ x = x
[ doc = "The identity function"
, type = dependent type (\a -> function a a)
]
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment