and .


21:42 Ticket #28 (Failure to detect dependent type errors) created by anonymous
The following grammar type-checks in GF, but should not:[…]
10:41 Ticket #27 (Error in type-checking dependent types) created by PeterLjunglof
The following grammar is type-incorrect, since Issue isn't applied to two …


13:14 Ticket #26 (Error in gfc --make / gfc -f) created by peb@…
Options --make plus -f FMT has problems. They work fine together: $ gfc …
Note: See TracTimeline for information about the timeline view.