About

Metadata

  • Last updated , by gogotanaka
  • License MIT
  • Categories Mathematics
  • Maintained by: mail@tanakakazuki.com

  • Lottery factor: 0

Links

Installation

Readme

Logic

:l main.hs
p && q
p || q
p ==> q
p <=> q
(^) p