| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | README.md | 1913 | logplain |
| -rw-r--r-- | autodiff.md | 8961 | logplain |
| d--------- | autodiff | 156 | logplain |
| -rw-r--r-- | capabilities.md | 16415 | logplain |
| -rw-r--r-- | casting.md | 8511 | logplain |
| -rw-r--r-- | coding-conventions.md | 16554 | logplain |
| -rw-r--r-- | decl-refs.md | 7618 | logplain |
| -rw-r--r-- | existential-types.md | 13830 | logplain |
| -rw-r--r-- | experimental.md | 4839 | logplain |
| -rw-r--r-- | interfaces.md | 23983 | logplain |
| -rw-r--r-- | ir.md | 26353 | logplain |
| -rw-r--r-- | overview.md | 22229 | logplain |
| -rw-r--r-- | semantic-checking.md | 17979 | logplain |
| -rw-r--r-- | serialization.md | 26305 | logplain |
| -rw-r--r-- | stdlib-intrinsics.md | 13654 | logplain |
