| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | Graph.gf | 446 | logplain |
| -rw-r--r-- | Hard.gf | 193 | logplain |
| -rw-r--r-- | Test.gf | 1132 | logplain |
| -rw-r--r-- | hard-unification.gfs | 78 | logplain |
| -rw-r--r-- | hard-unification.gfs.gold | 162 | logplain |
| -rw-r--r-- | implicit-arguments.gfs | 351 | logplain |
| -rw-r--r-- | implicit-arguments.gfs.gold | 921 | logplain |
| -rw-r--r-- | typecheck.gfs | 1468 | logplain |
| -rw-r--r-- | typecheck.gfs.gold | 3440 | logplain |
 |
index : gf-core.git | |
| Unnamed repository; edit this file 'description' to name the repository. | Adrian |
| summaryrefslogtreecommitdiff |