specify equivalence relation for functions

google / starlark-go

Starlark in Go: the Starlark configuration language, implemented in Go

BSD 3-Clause "New" or "Revised" License

2.3k stars 209 forks source link

Open alandonovan opened 4 years ago

alandonovan commented 4 years ago

The execution of each def statement creates a new function that is equal only to itself. We should state that.