Lichborne

Results 1 issues of Lichborne

A full explanation of and a minimal case for reproducing the problem can be found here: https://github.com/Lichborne/IdrisLinearityIssue/blob/main/ErrorExamples.idr Depends only on Data.Linear.LVect and Data.Linear.Notation # Steps to Reproduce Firstly, we create...

status: confirmed bug
language: quantity
language: named application