| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | animations.md | 571 | logplainblame |
| -rw-r--r-- | installation.md | 796 | logplainblame |
| -rw-r--r-- | lambda-calculus.md | 3223 | logplainblame |
| -rw-r--r-- | philosophy.md | 272 | logplainblame |
| -rw-r--r-- | setup.md | 1660 | logplainblame |
| -rw-r--r-- | syntax.md | 5005 | logplainblame |