Skip to content

Draft: Resolve "Modify Proost's grammar" partially

aalbert requested to merge 10-add-product-type-to-grammar into main

Add dependent and non dependent product type to proost's grammar.

  • (x :A) -> B for dependant products
  • A -> B for non-dependant ones, this one is the issue.

Merge request reports