dysfun@treehouse.systems ("gaytabase") wrote:
i'm really going to have to extract some bits of iddys out into libraries so i can depend on them outside of iddys. all the nat proofs are major convenient.
dysfun@treehouse.systems ("gaytabase") wrote:
i'm really going to have to extract some bits of iddys out into libraries so i can depend on them outside of iddys. all the nat proofs are major convenient.