[ new ] Data.SnocList.HasLength from compiler libs

idris-lang / Idris2

A purely functional programming language with first class types

https://idris-lang.org/

Other

2.46k stars 369 forks source link

Closed gallais closed 4 weeks ago

gallais commented 4 weeks ago

Need it for my work on correct-by-construction programming over buffers.