Summary
- merged
- merged
- tuned
- Using plain Data.Array instead of DiffArray for Haskell Code Generation
- Using auto instead of simp;clarsimp;simp to discharge side conditions
- merged
- Fixes
- Fixed session deps
- merged
- Added examples from JAR paper to Containers and Collections