]> gitweb.factorcode.org Git - factor.git/commit
proquint: change the interface to have >quint take bits
authorJohn Benediktsson <mrjbq7@gmail.com>
Tue, 7 Feb 2023 20:38:43 +0000 (12:38 -0800)
committerJohn Benediktsson <mrjbq7@gmail.com>
Tue, 7 Feb 2023 20:38:43 +0000 (12:38 -0800)
commitbf35cef8266746c8117a5fab531e1eab19566696
tree1a035c9808363fc6cb6d822bf43f037f9c06ac81
parent85f65510b51f1b42a1e2fdeeac84c912d910ce6b
proquint: change the interface to have >quint take bits
extra/proquint/proquint-tests.factor
extra/proquint/proquint.factor