Skip to content

Instantly share code, notes, and snippets.

@jwalgemoed

jwalgemoed/contract.kt

Created September 14, 2018 09:43
Show Gist options
  • Save jwalgemoed/6de428999b1e2752690c53149ab64e56 to your computer and use it in GitHub Desktop.
Save jwalgemoed/6de428999b1e2752690c53149ab64e56 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
contract.kt
contract {
returns(true) implies (this@isComplete != null)
}
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment