Idris2Doc
: Huffman.Fin256
Index
Default
Alternative
Black & White
Huffman.Fin256
(
source
)
Definitions
bits8ToFin256
:
Bits8
->
Fin
256
Visibility
:
public export