Skip to content

Latest commit

 

History

History
12 lines (10 loc) · 339 Bytes

README.md

File metadata and controls

12 lines (10 loc) · 339 Bytes

Logical Nand

Write a function of type:

nand : bool -> bool -> bool

that implements the logical connective nand ("not both").

Try with different implementation styles, using:

  • the built-in logical connectives not, &&, ||;
  • conditional expressions;
  • pattern matching.