| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | Makefile | 1732 | logplain |
| -rw-r--r-- | TODO | 861 | logplain |
| -rw-r--r-- | compile_to_core.hs | 617 | logplain |
| d--------- | examples | 258 | logplain |
| d--------- | lib | 249 | logplain |
| -rw-r--r-- | run_core.hs | 1041 | logplain |
 |
index : gf-core.git | |
| Unnamed repository; edit this file 'description' to name the repository. | Adrian |
| summaryrefslogtreecommitdiff |