| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | .gitattributes | 144 | logplain |
| -rw-r--r-- | .gitignore | 472 | logplain |
| -rw-r--r-- | Makefile | 1886 | logplain |
| -rw-r--r-- | TODO.md | 90 | logplain |
| d--------- | cli | 35 | logplain |
| d--------- | docs | 39 | logplain |
| -rw-r--r-- | hie.yaml | 169 | logplain |
| d--------- | html | 37 | logplain |
| d--------- | latex | 78 | logplain |
| d--------- | library | 683 | logplain |
| -rw-r--r-- | license.md | 6594 | logplain |
| d--------- | megalodon | 190 | logplain |
| -rw-r--r-- | package.yaml | 2863 | logplain |
| -rw-r--r-- | readme.md | 6178 | logplain |
| d--------- | source | 798 | logplain |
| -rw-r--r-- | stack.yaml | 459 | logplain |
| d--------- | test | 143 | logplain |
 |
index : felix.git | |
| Unnamed repository; edit this file 'description' to name the repository. | Adrian |
| summaryrefslogtreecommitdiff |