~ejb/thon

Add singleton bst and start bst insert
Add empty binary tree example
typCtx is a list of 'a options now, not a list of ints
Rm old files and update len.thon
Add thon eq : nat -> nat -> nat function
Unify rec syntax with case and ifz
Add and sub thon code
Fix debruijin index ifz bug and add decr.thon
Ifz bind to prev
Add ifz ... then ... else
Give type ctors ALL, SOME, and TYPEREC varnames

Still hardcoding type name `t` for impls
Poly declares typ var bound; more threading, some hardcoding still
Hardcode typename t for TypAbs
Deprecate lambdas without arg names
Hardcode typename t for All
Give TypVar a name param but hardcode to t
e5c9b942 — Evan Bergeron 8 months ago
Update README
Update README
Update README
Update README
Next