package info
(click to toggle)
Folder: 1.5-4
| .. (parent) | ||||
| d | rwxr-xr-x | 104 | .pc | |
| d | rwxr-xr-x | 4,096 | debian | |
| - | rw-r--r-- | 32 | .gitignore | |
| - | rw-r--r-- | 253 | CHANGES.md | |
| - | rw-r--r-- | 1,536 | LICENSE.md | |
| - | rw-r--r-- | 270 | Makefile | |
| - | rw-r--r-- | 210 | README.md | |
| - | rw-r--r-- | 203 | dune | |
| - | rw-r--r-- | 30 | dune-project | |
| - | rw-r--r-- | 95 | result-as-alias-4.08.ml | |
| - | rw-r--r-- | 105 | result-as-alias.ml | |
| - | rw-r--r-- | 80 | result-as-newtype.ml | |
| - | rw-r--r-- | 640 | result.opam | |
| - | rw-r--r-- | 316 | which_result.ml |
