Skip to content

Instantly share code, notes, and snippets.

@MarcelineVQ

MarcelineVQ/gist:580732e0d221a68b3427cdc0dcab3e49

Created October 21, 2019 16:39
Show Gist options

  • Select an option

    Learn more about clone URLs
  • Save MarcelineVQ/580732e0d221a68b3427cdc0dcab3e49 to your computer and use it in GitHub Desktop.

Select an option

Learn more about clone URLs
Save MarcelineVQ/580732e0d221a68b3427cdc0dcab3e49 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
gistfile1.txt
-- m can be a Monad
data Trampoline : (m : Type -> Type) -> (r : Type) -> Type where
MkTram : m (Either (Trampoline m r) r) -> Trampoline m r
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment