transfer-tutorial.txt « aggregation « examples « transfer - gf-core.git - Unnamed repository; edit this file 'description' to name the repository.

summary refs log tree commit diff

path: root/transfer/examples/aggregation/transfer-tutorial.txt

blob: cb8ca876d1b49f36d4ae1ba3dd28a576690d4076 (plain)

- Problem

- Abstract syntax

- Concrete syntax

- Generate tree module

- Write transfer code
 - Derive Compos and Eq