]> gitweb.factorcode.org Git - factor.git/commit
typed: cleanup using.
authorJohn Benediktsson <mrjbq7@gmail.com>
Thu, 15 Feb 2018 00:22:04 +0000 (16:22 -0800)
committerJohn Benediktsson <mrjbq7@gmail.com>
Thu, 15 Feb 2018 00:22:04 +0000 (16:22 -0800)
commitc0a8d0cf1fda3a6afd7e0c1aec1a4aea660db065
tree1203e2af5deaadcf6f141a60c23e05eecea697e7
parent59bc3a1ca034c1540cdc2ec70f4068474962d1f2
typed: cleanup using.
basis/typed/typed.factor