• chak's avatar
    [project @ 2002-11-09 09:58:56 by chak] · 33fec6b1
    chak authored
    Changed implementation of representation of negation to use function
    application instead of a special syntactic form as suggested by SPJ.
    33fec6b1
DsMeta.hs 46 KB