]> gitweb.factorcode.org Git - factor.git/commit
bare: change how user-types are handled
authorJohn Benediktsson <mrjbq7@gmail.com>
Thu, 16 Jun 2022 17:47:16 +0000 (10:47 -0700)
committerJohn Benediktsson <mrjbq7@gmail.com>
Thu, 16 Jun 2022 17:47:16 +0000 (10:47 -0700)
commita2f0e3755d472f9a1c8628ca380f0af2d7893c4b
tree1942a0424eabd12686363da02a973513cefc3fcb
parentc90a5090ea968b676ee6c3158ce01cb6ca245cfe
bare: change how user-types are handled
extra/bare/bare.factor