Multi-dimensional statically bounded indices, with operations that unroll.
- Ensure things get inlined by removing recursive dependencies between 'Dim' and 'Bounded'
- Remove value-level :.
- Add .: for safe construction of indices
Added 'Bounded' constraint to 'Dim'
Added this changelog.
- Remove 'reflect' entirely.
- Relax dependencies
- Added QuasiQuoters for Unroll and Roll
- New 'Mode' type to specify whether you want unrolled or normal loops
- Removed "s" prefixed functions
- Fix Ix instance
- Reduce duplication
Initial Hackage release.