summaryrefslogtreecommitdiff
path: root/src/kompsos.ads
AgeCommit message (Expand)Author
6 daysAdded generic to make it easier to abbreviate FreshJedidiah Barber
6 daysReification, including Term flattening and TreeificationJedidiah Barber
7 daysRemoved Buffer variant GeneratorJedidiah Barber
8 daysRefactor of Conjunct GeneratorsJedidiah Barber
9 daysImprovements to Fresh and TakeJedidiah Barber
9 daysVariable counting handled properly on a per-State basisJedidiah Barber
10 daysWorlds now use Indefinite_Holders for holding themselvesJedidiah Barber
10 daysGNAT bug workaroundJedidiah Barber
10 daysRefactor of Terms that causes GNAT to STORAGE_ERRORJedidiah Barber
11 daysPrelude combined into base, lazy Conjunct kinda working but still loops in so...Jedidiah Barber
12 daysImproved memory management for world genJedidiah Barber
12 daysRefactor of rollover lazinessJedidiah Barber
13 daysPrelude now derives its own World so dot notation works for those subprogramsJedidiah Barber
13 daysBugfixes in Unify and Term Image, query function for World failureJedidiah Barber
2025-11-11Finegrained better handled laziness, forced evaluation, disjunct for world ar...Jedidiah Barber
2025-11-11Non-recursive, non-numeric portions of preludeJedidiah Barber
2025-11-10Infinite number of States in a World enabled with lazy evaluationJedidiah Barber
2025-11-09Initial commitJedidiah Barber
generated by cgit (git 2.30.0) at 2025-11-25 07:04:53 +0000