Taso rules#2

Open

lexu27 wants to merge 26 commits intomasterfrom

Commits on Aug 15, 2025

Commits on Aug 16, 2025

Commits on Aug 20, 2025

Finished transpose implementation and added colored printing to verifyNumDSL
lexu27
committed
Added pretty printing for verification in Verify.hs
lexu27
committed

Commits on Aug 22, 2025

finished enlarge
lexu27
committed

Commits on Sep 4, 2025

Commits on Sep 5, 2025

Commits on Sep 15, 2025

Commits on Sep 16, 2025

Commits on Oct 2, 2025

Commits on Oct 8, 2025

finished split
lexu27
committed

Commits on Oct 19, 2025

Commits on Nov 5, 2025

Use stack config for gen-hie
jaiarora0011
committed

Commits on Nov 6, 2025

Commits on Nov 9, 2025