Tags

Tags give the ability to mark specific points in history as being important

tests-pass-56c5428603

56c54286 · update more function to use strong-equal? and friends · Dec 05, 2025
tests-pass-a5a26e887

a5a26e88 · removed debug print · Dec 02, 2025
tests-pass-0a38e1039b

0a38e103 · exit map must be a map, not a function. · Dec 02, 2025
tests-pass-7d814831

7d814831 · typep of = should also check the type · Nov 28, 2025
tests-pass-d397156aa

d397156a · updated tests · Nov 17, 2025
tests-pass-ead353

ead3531a · moving files to subdirectories · Nov 06, 2025
tests-pass-f78a67f6

f78a67f6 · moved xymbolyco to subdirectory · Nov 06, 2025
tests-pass-cbc9fa4

cbc9fa4d · moving genus code into genus subdirectory · Nov 06, 2025
tests-pass-8bef641

8bef641a · changed function definition order for startup · Nov 03, 2025
tests-pass-7d07c0

7d07c042 · fixed bug in with-timeout · Oct 24, 2025
tests-pass-3593204

35932042 · don't memoize function sort-method-keys · Jul 31, 2025
test-pass-a407bad9

a407bad9 · fixed problem with rte-vacuous? and rte-inhabited to handle :dont-know · Apr 24, 2025
tests-pass-98c1237ce

98c1237c · updating demo · Apr 23, 2025
tests-pass-d261ce9

d261ce9d · updated demo code · Apr 13, 2025
tests-pass-93d9e84

93d9e847 · fixed some errors in valid-rte? · Apr 11, 2025
tests-pass-87e7a443

87e7a443 · optimization in mdtd · Aug 22, 2022
tests-pass-dbf413c42e0b6

dbf413c4 · changed method for finding two unequal types · Oct 11, 2021
tests-pass-0aafeebdcf1

0aafeebd · removed diagnostic message · Oct 06, 2021
tests-pass-0df0df26d1

0df0df26 · update dfa-equivalent? and dfa-vacuous? to support dont-know · Sep 06, 2021
tests-pass-6727f4f076e11

6727f4f0 · keep track by-construction of factors and disjoint types when computing mdtd and derivative · Aug 19, 2021

Prev
1
2
Next