aboutsummaryrefslogtreecommitdiff
path: root/ROOT (follow)
Commit message (Collapse)AuthorAgeFilesLines
* update for Isabelle2020Josh Chen2020-04-161-0/+1
|
* fix ROOTJosh Chen2020-04-031-1/+1
|
* Brand-spanking new version using Spartan infrastructureJosh Chen2020-04-021-22/+21
|
* 1. Change syntax to rely less on unicode/control symbols.Josh Chen2019-02-041-1/+2
| | | | 2. Begin work on object-level type inference and input syntax help.
* Add ROOT. No eta-contractionJosh Chen2018-09-181-2/+16
|
* add ROOT fileLars Hupel2018-09-181-0/+10