Re: [Toss-devel] Speagram and typed terms in Toss

[Lukasz S. <luk...@gm...>]

*Term rewriting as type inference*

'Person' is type.
'Name' is type.
'John' is name.
Variable Kate is person.
Variable Johnie is person.
Johnie is John.
'Son of' person is person.
Son of Kate is Johnie.
What name is son of Kate?

;-)