Skip to content

Instantly share code, notes, and snippets.

@ohad

ohad/totality.idr Secret

Created August 21, 2019 07:20
Show Gist options
  • Save ohad/8b30fb464769fd5ba76e4e086ea1d4ae to your computer and use it in GitHub Desktop.
Save ohad/8b30fb464769fd5ba76e4e086ea1d4ae to your computer and use it in GitHub Desktop.
Download ZIP
Totality annotations
Raw
totality.idr
total
foo : a
foo = foo
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment