lambda-ccc icon indicating copy to clipboard operation
lambda-ccc copied to clipboard
verified publisher icon conal

Casts and coercions

Open conal opened this issue 11 years ago • 0 comments

  • Handle them in the representation and translation.
  • Check handling of newtypes, which are represented via a coercion.

conal avatar Apr 13 '14 00:04 conal