Skip to content

Instantly share code, notes, and snippets.

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