Jerome Bergmann
Results
11
comments of
Jerome Bergmann
``` type Bool = Bool BVal type BVal = True | False true : Bool true = Bool True false : Bool false = Bool False (&&) : Bool ->...