Giters

Matthew-Mosior / idris2-bytestring

Immutable byte vectors in Idris2.

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

idris2-bytestring

Immutable byte vectors in Idris2.

About

Immutable byte vectors in Idris2.

License:BSD 3-Clause "New" or "Revised" License

Languages

Language:Idris 100.0%