Skip to content

Instantly share code, notes, and snippets.

@deque-blog

deque-blog/LogEventSuccess.idr

Last active September 1, 2017 12:44
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save deque-blog/e3cb39944e9885d26ea9b1048f7957c6 to your computer and use it in GitHub Desktop.
Save deque-blog/e3cb39944e9885d26ea9b1048f7957c6 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
LogEventSuccess.idr
> logEvent birthDay 32 "Quentin"
"Happy BirthDay: 32 years old, Quentin"
> logEvent newYearEve 2017
"New Year's Eve: Happy new year 2017"
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment