proposition-0.1: Library for manipulating propositions.
Contents
Index
Data.Proposition.Char
Description
This module provides a dummy instance for
PropLit
on
Char
. This is useful for testing purposes.
Produced by
Haddock
version 0.8