Better variable handling#2

Open

jacobneu wants to merge 11 commits intomainfrom

betterVariables

Commits on Feb 10, 2025

Commits on Feb 20, 2025

Used curly braces in category plain signature
jacobneu
committed

Commits on Mar 1, 2025

Commits on Mar 2, 2025

Made namedGAT output structured Arg data
jacobneu
committed
Got nouGAT parser to check the correct number of explicit arguments (not the type though)
jacobneu
committed

Commits on Mar 3, 2025

Made GAT into a structure, so the extra data is stored in there
jacobneu
committed

Commits on Mar 4, 2025

Merge branch 'main' into betterVariables
jacobneu
committed

Commits on Mar 11, 2025

Merge branch 'main' into betterVariables
jacobneu
committed