Multiple things

src/syntax/parser.rs

@@ -102,7 +102,11 @@ pub fn parse_input<'a>(
 ) -> ParseResult {
     println!(
         "{:?}",
-        definition().parse_with_state(input, &mut State { arena })
+        definition()
+            .separated_by(just(T![";"]))
+            .allow_trailing()
+            .pipe(arena_collect)
+            .parse_with_state(input, &mut State { arena })
     );
 }