lambda-ccc
lambda-ccc copied to clipboard
Casts and coercions
- Handle them in the representation and translation.
- Check handling of
newtypes, which are represented via a coercion.