Propositional formulae

Define a type for representing propositional formulae without variables.
Define a valuation function which computes the boolean of any such formula.

Solution

This file

Note: this solution contains also an infix notation for these formulae.

Suggestion: add propositional variables !