Skip to content

Instantly share code, notes, and snippets.

@david-christiansen

david-christiansen/Bugfind.idr

Last active December 23, 2015 16:49
Show Gist options
  • Save david-christiansen/6664873 to your computer and use it in GitHub Desktop.
Save david-christiansen/6664873 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
Bugfind.idr
module Bugfind
import Language.Reflection
import Language.Reflection.Util
foo : TT
foo = Erased
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment