Lichborne issues

Repositories
Issues
Comments

Results 1 issues of


                                            Lichborne

Loss of Linearity in Interaction of Abstract Interfaces and Linear State Transformer Monad

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