Skip to content

Insights: MarcelineVQ/idris2-elab-deriving

Community Standards

Here’s how this project compares to recommended community standards.

Checklist

What is the community profile?