Challenges
- built-ins for digital signatures
- proof generation
- fundamental mismatch between classical semantics "of the whole" and the
extremely localized, socially grounded meaning of real human
interactions
- making daml technology easier to understand
- trying to uncover the semantics from legacy apps so we can pull the
data out of them