Revision history for logical-constraints

0.1.0.0 -- 2022-12-10

• First version. Released on an unsuspecting world.

0.1.0.1 -- 2022-12-12

• First version revised A. Some minor code improvements. Added some crucial documentation.

0.1.1.0 -- 2022-12-12

• First version revised B. Fixed issues with the probaby empty list in ordCs2Predicate function. Some code improvements.

0.1.2.0 -- 2023-01-11

• First version revised C. Updated the metadata.

0.1.3.0 -- 2023-01-12

• First version revised D. Removed implicit Prelude import, changed the dependency boundaries. Code now can throw an error or pattern match exception if the data type is contructed not validly (to prevent usage of the incorrectly defined data).