Function symbols - Githubissues

antitypical / TesseractCore

Tesseract’s evaluation and type system.

MIT License

30 stars 1 forks source link

Function symbols #53

Closed robrix closed 9 years ago

robrix commented 9 years ago

Better symbols for functions, and better printing of function types.

No funky parameter names in function types.
Indexed symbols for node inputs.
Alphabetic printing of types, e.g. a → a.