David Garland's repositories
named-binary-tag
NBT (named binary tag) serialization and deserialization
lean-profunctors
A port of profunctors from Haskell to Lean 4.
Language:LeanMIT000
NBT (named binary tag) serialization and deserialization
A port of profunctors from Haskell to Lean 4.