Idris2Doc : Data.Linear

Data.Linear(source)

Reexports

import public Data.Linear.Notation as Data.Linear
import public Data.Linear.Interface as Data.Linear
import public Data.Linear.Copies as Data.Linear