Closed kylegoetz closed 2 weeks ago
If we have code like
Heap.deleteMin : ∀ a g1 g. (a ->{g1} a ->{g} Ordering) -> heap.Heap a ->{g1, g} heap.Heap a y = 1
scanner.c does not recognize SEMI at the end of the second line
If we have code like
scanner.c does not recognize SEMI at the end of the second line