package info
(click to toggle)
Folder: 3.1.0-1
 |
.. (parent) | |||
|
d | rwxr-xr-x | 31 | .github |
|
d | rwxr-xr-x | 104 | .pc |
|
d | rwxr-xr-x | 4,096 | debian |
|
d | rwxr-xr-x | 4,096 | examples |
|
d | rwxr-xr-x | 89 | man |
|
d | rwxr-xr-x | 4,096 | src |
|
d | rwxr-xr-x | 58 | tests |
|
d | rwxr-xr-x | 58 | tools |
 |
- | rw-r--r-- | 27 | .gitignore |
|
- | rw-r--r-- | 319 | .travis.yml |
|
- | rw-r--r-- | 6,207 | CHANGES.md |
|
- | rw-r--r-- | 1,518 | LICENSE |
|
- | rw-r--r-- | 625 | Makefile |
|
- | rw-r--r-- | 3,449 | README.md |
|
- | rw-r--r-- | 132 | dune |
|
- | rw-r--r-- | 35 | dune-project |
|
- | rw-r--r-- | 276 | dune-workspace.dev |
|
- | rw-r--r-- | 1,250 | lambda-term-inputrc |
|
- | rw-r--r-- | 537 | lambda-term.descr |
|
- | rw-r--r-- | 1,173 | lambda-term.opam |
|
- | rw-r--r-- | 719 | lambda-termrc |
|
- | rw-r--r-- | 1,308 | print_sequences.ml |
|
- | rw-r--r-- | 2,590 | style.css |