Dump of project thus far
More organization
Remove unneeded extensions
Start the Boolean Expression Brute Forcer
Finish the Boolean Expression Brute Forcer, except for DAG support
Labs 0 and 1
Finish lab5 design, start laba
Complete labA design, misc tweaks
Big case oracle
Start to port to clash-prelude 0.6.1
Ported Lab 10 to new version of clash and split off tests
Fix the BitVector instance
LabA works!
Add 'src/' from commit '159eccfdddd5a1e594e14ba6a69ecc73d204dd44'

git-subtree-dir: src
git-subtree-mainline: 9026d693991a428f0d2293964b437d33f5408c3d
git-subtree-split: 159eccfdddd5a1e594e14ba6a69ecc73d204dd44