Skip to content

Instantly share code, notes, and snippets.

@naoto-ogawa
Created May 16, 2014 15:02
Show Gist options
  • Save naoto-ogawa/216e8fff170c76ad2a63 to your computer and use it in GitHub Desktop.
Save naoto-ogawa/216e8fff170c76ad2a63 to your computer and use it in GitHub Desktop.
Log Monad
*Main> eval2 answer
("eval(Con 1972) <- 1972\n eval(Con 2) <- 2\n eval(Div (Con 1972) (Con 2)) <- 986\n eval(Con 23) <- 23\n eval(Div (Div (Con 1972) (Con 2)) (Con 23)) <- 42\n ",42)
*Main>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment