Age | Commit message (Expand) | Author |
---|---|---|
4 days | Constants marked constant, redundant with clauses no longer redundant | Jedidiah Barber |
2023-07-17 | Split binding into a minimal hierarchy, improved documentation slightly | Jedidiah Barber |
2023-07-15 | Initial commit | Jedidiah Barber |