wgaffa/ffxwt - Change KAJC3D5NCOYO6GMDVIZE5TRJ263IOJFRAXX5UODSCF5P5CQ2AB7AC

Created by wgaffa on January 29, 2023

KAJC3D5NCOYO6GMDVIZE5TRJ263IOJFRAXX5UODSCF5P5CQ2AB7AC

main

B:BD[2.605] → [2.605:655]

    toEncoding = genericToEncoding defaultOptions

[2.605]

[3.351]

    toEncoding (NonEmptyList x xs) = toEncoding (x:xs)