Sequences of bits and common operations on them
Primary LanguageAgda
Some proofs and reorganization of Eric Mertens' modularfin module for Agda.