flip to agda-like grammar, sets & signatures do not have dots in their fields, but applications of those do as do constructions

1 files changed, 2 insertions, 2 deletions

diff --git a/grammar.txt b/grammar.txt
index 516a248..32585bb 100644
--- a/grammar.txt
+++ b/grammar.txt
@@ -9,9 +9,9 @@ instance_decl     = "let instance" , inst_var , "::" , signature , "=" , instanc
 
 set               = record_set | variant_set | builtin_set | claimed_set | set_var | "(" , set , ")" ;
 record_set        = "record" , "{" , [ set_field { "," , set_field } ] , "}" ;
-set_field         = "." , lower_ident , ":" , set ;
+set_field         = lower_ident , ":" , set ;
 variant_set       = "variant" , "[" , [ variant_field { "|" , variant_field } ] , "]" ;
-variant_field     = lower_ident , "." , ":" , set ;
+variant_field     = lower_ident , ":" , set ;
 builtin_set       = "Nat" | "Int" | "Float" | "Str" | "Bool" ;
 claimed_set       = "set-of" , "(" , instance , ")" ;