Idris2Doc : Data.Linear

Data.Linear

Reexports

importpublic Data.Linear.Notation as Data.Linear
importpublic Data.Linear.Interface as Data.Linear
importpublic Data.Linear.Copies as Data.Linear