/Data/Matrix/

• ../
• Cast.agda
• Category.agda
• Core.agda
• Dagger-2-Poset.agda
• FreeSemimodule.agda
• Monoid.agda
• SemiadditiveDagger.agda
• Transform.agda
• Vec.agda