Skip to content

Instantly share code, notes, and snippets.

@laynor
Created Sep 25, 2019
Embed
What would you like to do?
module Main
data Foo = FInt Int
| FFN (Foo -> Foo)
total
bar : Foo
bar = FFN (\x => x)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment