Immutable byte vectors in Idris2.
matthew-mosior / idris2-bytestring Goto Github PK
View Code? Open in Web Editor NEWThis project forked from stefan-hoeck/idris2-bytestring
Immutable byte vectors in Idris2.
License: BSD 3-Clause "New" or "Revised" License