package info
(click to toggle)
Folder: 3.3.2-2
 |
.. (parent) | |||
|
d | rwxr-xr-x | 51 | .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-- | 6,822 | CHANGES.md |
|
- | rw-r--r-- | 1,518 | LICENSE |
|
- | rw-r--r-- | 625 | Makefile |
|
- | rw-r--r-- | 3,340 | README.md |
|
- | rw-r--r-- | 132 | dune |
|
- | rw-r--r-- | 1,004 | dune-project |
|
- | rw-r--r-- | 308 | dune-workspace.dev |
|
- | rw-r--r-- | 1,249 | lambda-term-inputrc |
|
- | rw-r--r-- | 537 | lambda-term.descr |
|
- | rw-r--r-- | 1,322 | lambda-term.opam |
|
- | rw-r--r-- | 719 | lambda-termrc |
|
- | rw-r--r-- | 1,308 | print_sequences.ml |
|
- | rw-r--r-- | 2,590 | style.css |