| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | .gitattributes | 48 | logplain |
| -rw-r--r-- | .gitignore | 488 | logplain |
| d--------- | .vscode | 41 | logplain |
| -rw-r--r-- | Makefile | 2911 | logplain |
| -rw-r--r-- | TODO.md | 90 | logplain |
| d--------- | cli | 35 | logplain |
| d--------- | data | 45 | logplain |
| d--------- | docs | 39 | logplain |
| -rw-r--r-- | hie.yaml | 196 | 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 | 3084 | logplain |
| -rw-r--r-- | readme.md | 8595 | logplain |
| d--------- | source | 130 | logplain |
| -rw-r--r-- | stack.yaml | 565 | logplain |
| d--------- | test | 275 | logplain |
 |
index : felix.git | |
| Unnamed repository; edit this file 'description' to name the repository. | Adrian |
| summaryrefslogtreecommitdiff |