https://github.com/mortberg/cubicaltt
Tip revision: 9baa6f2491cc61dbd4fd81d58323c04100381451 authored by iho on 21 September 2023, 05:49:23 UTC
Move to latest LTS
Move to latest LTS
Tip revision: 9baa6f2
| File | Mode | Size |
|---|---|---|
| examples | ||
| experiments | ||
| lectures | ||
| utils | ||
| .gitignore | -rw-r--r-- | 129 bytes |
| .travis.yml | -rw-r--r-- | 1.1 KB |
| CTT.hs | -rw-r--r-- | 16.8 KB |
| Connections.hs | -rw-r--r-- | 15.1 KB |
| Eval.hs | -rw-r--r-- | 41.6 KB |
| Exp.cf | -rw-r--r-- | 3.4 KB |
| GNUmakefile | -rw-r--r-- | 1.9 KB |
| LICENSE | -rw-r--r-- | 1.1 KB |
| Main.hs | -rw-r--r-- | 8.3 KB |
| Makefile | -rw-r--r-- | 1.2 KB |
| README.md | -rw-r--r-- | 6.0 KB |
| Resolver.hs | -rw-r--r-- | 14.9 KB |
| Setup.hs | -rw-r--r-- | 425 bytes |
| TypeChecker.hs | -rw-r--r-- | 18.3 KB |
| cubicaltt.cabal | -rw-r--r-- | 1.5 KB |
| cubicaltt.el | -rw-r--r-- | 7.9 KB |
| cubicaltt.vim | -rw-r--r-- | 879 bytes |
| stack.yaml | -rw-r--r-- | 98 bytes |
