CraigMcL

Unsound use of Sized types in Environment module

1

Hi all, I am looking to port the development to Agda v2.6.2 and standard library version 1.7. However, I encountered a type checking failure in the `Data/Environment.agda` module concerning the...

Comments relative to d9686917d I have been reading Sections 4.2.2 and 4.2.3 regarding the ownership model. On pg12 it reads: > Ownership is the exclusive right to access a buffer,...