https://github.com/RedPRL/redtt
Tip revision: ae76658873a647eb43d8cf84365a9d68e9a3273c authored by favonia on 25 March 2022, 17:58:14 UTC
Make redtt run again (#490)
Make redtt run again (#490)
Tip revision: ae76658
| File | Mode | Size |
|---|---|---|
| .vscode | ||
| emacs | ||
| library | ||
| src | ||
| vim | ||
| .editorconfig | -rw-r--r-- | 147 bytes |
| .gitignore | -rw-r--r-- | 5.5 KB |
| .gitmodules | -rw-r--r-- | 108 bytes |
| .travis.yml | -rw-r--r-- | 394 bytes |
| CONTRIBUTING.md | -rw-r--r-- | 986 bytes |
| LICENSE | -rw-r--r-- | 11.1 KB |
| Makefile | -rw-r--r-- | 379 bytes |
| NOTICE | -rw-r--r-- | 49 bytes |
| README.md | -rw-r--r-- | 4.9 KB |
| dune-project | -rw-r--r-- | 81 bytes |
| redtt.opam | -rw-r--r-- | 599 bytes |
