TODO: Say something about implementation differences with transformation specs
TODO: Say something about the builtin functions somewhere (ref: christiaan)
TODO: Future work: Use Cλash
TODO: Abstract
TODO: Preface
TODO: Say something about implementation differences with transformation specs
TODO: Say something about the builtin functions somewhere (ref: christiaan)
TODO: Future work: Use Cλash
TODO: Abstract
TODO: Preface