MarcelineVQ / idris2-elab-deriving

implementation deriving for idris2
11Updated 3 years ago

Related projects

Alternatives and complementary repositories for idris2-elab-deriving