| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | .gitattributes | 48 | logplain |
| -rw-r--r-- | .gitignore | 472 | logplain |
| -rw-r--r-- | Makefile | 2054 | logplain |
| -rw-r--r-- | TODO.md | 90 | logplain |
| d--------- | cli | 35 | logplain |
| d--------- | data | 45 | logplain |
| d--------- | docs | 94 | logplain |
| -rw-r--r-- | hie.yaml | 193 | logplain |
| d--------- | html | 37 | logplain |
| d--------- | informath | 155 | logplain |
| d--------- | latex | 78 | logplain |
| d--------- | library | 630 | logplain |
| -rw-r--r-- | license.md | 6594 | logplain |
| -rw-r--r-- | package.yaml | 3130 | logplain |
| -rw-r--r-- | readme.md | 6503 | logplain |
| d--------- | source | 717 | logplain |
| -rw-r--r-- | stack.yaml | 565 | logplain |
| d--------- | test | 209 | logplain |
 |
index : felix.git | |
| Unnamed repository; edit this file 'description' to name the repository. | Adrian |
| summaryrefslogtreecommitdiff |