| Age | Commit message (Expand) | Author |
|---|
| 10 days | Streamlined some Fresh declarations now that it won't affect performance | Jedidiah Barber |
| 10 days | State now uses a Vector instead of a Map | Jedidiah Barber |
| 10 days | Cached results now freed after being used by all possible branches | Jedidiah Barber |
| 12 days | Counter for next available Variable now held by each Goal instead of being gl... | Jedidiah Barber |
| 12 days | Removed free logic Variable tracking in States, removed Fresh_Node and Static... | Jedidiah Barber |
| 13 days | Recurse fixed, caching functions consolidated | Jedidiah Barber |
| 2026-01-12 | Removed Nametags and identifier aliasing for Variables | Jedidiah Barber |
| 2026-01-06 | Slight efficiency improvements to comparison subprograms | Jedidiah Barber |
| 2026-01-05 | Small speed improvement to division | Jedidiah Barber |
| 2026-01-05 | Logarithms now work for base=3 | Jedidiah Barber |
| 2026-01-05 | Very slight improvement to Unify checks | Jedidiah Barber |
| 2026-01-04 | Slight refactor of final branch of Logarithm to use GTE | Jedidiah Barber |
| 2026-01-02 | Addition/subtraction test program, bugfix in Add | Jedidiah Barber |
| 2026-01-02 | Fixed minor Math issues that didn't error until instantiation | Jedidiah Barber |
| 2026-01-01 | Division, logarithm, exponentiation | Jedidiah Barber |
| 2025-12-25 | Repeated multiply version of exponentiation | Jedidiah Barber |
| 2025-12-25 | Reorganisation and additional numeric comparison subprograms | Jedidiah Barber |
| 2025-12-25 | Arithmetic -> Math package rename | Jedidiah Barber |
| 2025-12-25 | Multiply and arithmetic comparison operators | Jedidiah Barber |
| 2025-12-21 | Addition and subtraction arithmetic | Jedidiah Barber |
| 2025-12-19 | Worlds separated into Goals that run on a State, improvement to unification e... | Jedidiah Barber |
| 2025-12-18 | Added missing equality function for Term | Jedidiah Barber |
| 2025-12-18 | Reduced number of reallocations for conjunct operations | Jedidiah Barber |
| 2025-12-16 | Can now output the basic structural DAG of a World in DOT format | Jedidiah Barber |
| 2025-12-14 | Core rewritten with memoisation, but somehow Zebra example is bugged | Jedidiah Barber |
| 2025-11-23 | Switches out Holders for Controlled component in Term | Jedidiah Barber |
| 2025-11-19 | Added generic to make it easier to abbreviate Fresh | Jedidiah Barber |
| 2025-11-19 | Reification, including Term flattening and Treeification | Jedidiah Barber |
| 2025-11-18 | Removed Buffer variant Generator | Jedidiah Barber |
| 2025-11-17 | Lazy Conjunct should properly work for infinite results now | Jedidiah Barber |
| 2025-11-17 | Refactor of Conjunct Generators | Jedidiah Barber |
| 2025-11-16 | Improvements to Fresh and Take | Jedidiah Barber |
| 2025-11-16 | Variable counting handled properly on a per-State basis | Jedidiah Barber |
| 2025-11-16 | Worlds now use Indefinite_Holders for holding themselves | Jedidiah Barber |
| 2025-11-15 | GNAT bug workaround | Jedidiah Barber |
| 2025-11-15 | Refactor of Terms that causes GNAT to STORAGE_ERROR | Jedidiah Barber |
| 2025-11-15 | Prelude combined into base, lazy Conjunct kinda working but still loops in so... | Jedidiah Barber |
| 2025-11-13 | Improved memory management for world gen | Jedidiah Barber |
| 2025-11-13 | Slight parameter alignment fix | Jedidiah Barber |
| 2025-11-13 | Refactor of rollover laziness | Jedidiah Barber |
| 2025-11-12 | Prelude now derives its own World so dot notation works for those subprograms | Jedidiah Barber |
| 2025-11-12 | Recursive portions of prelude | Jedidiah Barber |
| 2025-11-12 | Bugfixes in Unify and Term Image, query function for World failure | Jedidiah Barber |
| 2025-11-11 | Finegrained better handled laziness, forced evaluation, disjunct for world ar... | Jedidiah Barber |
| 2025-11-11 | Non-recursive, non-numeric portions of prelude | Jedidiah Barber |
| 2025-11-10 | Infinite number of States in a World enabled with lazy evaluation | Jedidiah Barber |
| 2025-11-09 | Initial commit | Jedidiah Barber |
