Skip to content

Instantly share code, notes, and snippets.

@pminten

pminten/weird_labels.idr

Last active August 29, 2015 14:01
Show Gist options
  • Save pminten/fe672a3dbf1784c6d4aa to your computer and use it in GitHub Desktop.
Save pminten/fe672a3dbf1784c6d4aa to your computer and use it in GitHub Desktop.
Download ZIP
Doesn't run, not sure how to make this work.
Raw
weird_labels.idr
module Main
import Effect.State
import Effect.Exception
printInner : { [ STATE Int, EXCEPTION Int ] } Eff m ()
printInner = return ()
main : IO ()
main = runInit ['St := 1, 'Ex := 1] $ do
'Ex :- ('St :- printInner)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment