Institute for Logic, Language and Computation
Published June 20, 2026 | Version v0.4.0.0
Software Open

m4lvin/HasCacBDD: 0.4.0.0

Authors/Creators

  • 1. ILLC, University of Amsterdam

Description

  • rewrite Show and Read instances using "top", "bot", "var", "ifthenelse" and parsec for Read. This should make them lawful.

Files

m4lvin/HasCacBDD-v0.4.0.0.zip

Files (58.7 kB)

Name Size Download all
md5:ac9e1350b4ee3725f262769e65d4011d
58.7 kB Preview Download

Additional details

Related works

Is supplement to
Software: https://github.com/m4lvin/HasCacBDD/tree/v0.4.0.0 (URL)

Software

Repository URL
https://github.com/m4lvin/HasCacBDD