]> ruin.nu Git - proglang.git/blob - examples/typeerror-bop
major update of the natural deduction
[proglang.git] / examples / typeerror-bop
1 1 > false;