(Difference between revisions)
(Just stealing from the old HaWiki)
m (Hash Consing moved to Hash consing)
|(4 intermediate revisions by one user not shown)|
Latest revision as of 05:51, 20 July 2010
 Migrated from the old wiki
Use a table of already-built structures to increase sharing.