Skip to content

[ fixup ] Fixup for #15 and alternative indenatation function #15

[ fixup ] Fixup for #15 and alternative indenatation function

[ fixup ] Fixup for #15 and alternative indenatation function #15

Annotations

2 warnings

Build the lib with Idris2 HEAD

succeeded May 16, 2024 in 22s