Skip to content

Implement *inlined* refined syntax for structs#559

Merged
nilehmann merged 3 commits intomainfrom nico/refined-struct-in-flux-macroNov 15, 2023

Commits

Commits on Nov 14, 2023

Commits on Nov 15, 2023