https://github.com/RichardMoot/LinearOne
Tip revision: 5b35d4231062de47d8abb9c477325f5c237d19df authored by Richard Moot on 24 March 2015, 13:38:44 UTC
Streamlined semantics
Streamlined semantics
Tip revision: 5b35d42
| File | Mode | Size |
|---|---|---|
| .gitignore | -rw-r--r-- | 289 bytes |
| LICENSE | -rw-r--r-- | 25.8 KB |
| Makefile | -rw-r--r-- | 43 bytes |
| README | -rw-r--r-- | 645 bytes |
| auxiliaries.pl | -rw-r--r-- | 5.3 KB |
| d_grammar.pl | -rw-r--r-- | 6.3 KB |
| dancing_links.pl | -rw-r--r-- | 6.1 KB |
| hybrid_grammar.pl | -rw-r--r-- | 7.8 KB |
| latex.pl | -rw-r--r-- | 13.4 KB |
| lexicon.pl | -rw-r--r-- | 4.3 KB |
| mill1.pl | -rw-r--r-- | 25.7 KB |
| mill1.tgz | -rw-r--r-- | 40.3 KB |
| ordset.pl | -rwxr-xr-x | 16.2 KB |
| portray_graph_dot.pl | -rw-r--r-- | 1.0 KB |
| portray_graph_none.pl | -rw-r--r-- | 217 bytes |
| portray_graph_tikz.pl | -rw-r--r-- | 6.2 KB |
| proof_generation.pl | -rw-r--r-- | 26.2 KB |
| proof_generation_nd.pl | -rw-r--r-- | 4.6 KB |
| replace.pl | -rw-r--r-- | 4.9 KB |
| sem_utils.pl | -rw-r--r-- | 20.4 KB |
| translations.pl | -rw-r--r-- | 14.9 KB |
| tree234.pl | -rwxr-xr-x | 60.0 KB |
