| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | .gitattributes | 144 | logplain |
| -rw-r--r-- | .gitignore | 425 | logplain |
| -rw-r--r-- | Makefile | 323 | logplain |
| d--------- | cli | 35 | logplain |
| d--------- | docs | 39 | logplain |
| -rw-r--r-- | hie.yaml | 169 | logplain |
| d--------- | latex | 78 | logplain |
| d--------- | library | 593 | logplain |
| -rw-r--r-- | license.md | 6594 | logplain |
| d--------- | megalodon | 190 | logplain |
| -rw-r--r-- | package.yaml | 2826 | logplain |
| -rw-r--r-- | readme.md | 6476 | logplain |
| d--------- | source | 733 | logplain |
| -rw-r--r-- | stack.yaml | 459 | logplain |
| d--------- | test | 103 | logplain |
| d--------- | vampire-taks-with-unexpacted-behavoir | 119 | logplain |
 |
index : felix.git | |
| Unnamed repository; edit this file 'description' to name the repository. | Adrian |
| summaryrefslogtreecommitdiff |