| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | GFC.hs | 2029 | logplain |
| -rw-r--r-- | GFCtoSimple.hs | 5973 | logplain |
| -rw-r--r-- | MCFGtoCFG.hs | 1418 | logplain |
| -rw-r--r-- | RemoveSingletons.hs | 3137 | logplain |
| -rw-r--r-- | SimpleToFinite.hs | 4776 | logplain |
| -rw-r--r-- | SimpleToMCFG.hs | 843 | logplain |
| d--------- | SimpleToMCFG | 114 | logplain |
| -rw-r--r-- | Types.hs | 5035 | logplain |
 |
index : gf-core.git | |
| Unnamed repository; edit this file 'description' to name the repository. | Adrian |
| summaryrefslogtreecommitdiff |