https://github.com/RichardMoot/LinearOne
Tip revision: 19e8ca582fefc402aa015572e5d47d583cd44a10 authored by Richard Moot on 18 October 2016, 19:42:33 UTC
Added portray simplication for appl/2 with up to five arguments
Added portray simplication for appl/2 with up to five arguments
Tip revision: 19e8ca5
| File | Mode | Size |
|---|---|---|
| .gitignore | -rw-r--r-- | 419 bytes |
| LICENSE | -rw-r--r-- | 25.8 KB |
| Makefile | -rw-r--r-- | 43 bytes |
| README.md | -rw-r--r-- | 2.8 KB |
| acg_grammar.pl | -rw-r--r-- | 7.5 KB |
| acg_grammar2.pl | -rw-r--r-- | 27.6 KB |
| acg_grammar3.pl | -rw-r--r-- | 43.6 KB |
| acg_lambek.pl | -rw-r--r-- | 5.6 KB |
| auxiliaries.pl | -rw-r--r-- | 9.1 KB |
| d_grammar.pl | -rw-r--r-- | 7.2 KB |
| d_grammar_case.pl | -rw-r--r-- | 8.3 KB |
| dancing_links.pl | -rw-r--r-- | 6.3 KB |
| hybrid_case.pl | -rw-r--r-- | 8.8 KB |
| hybrid_grammar.pl | -rw-r--r-- | 10.3 KB |
| lambek_grammar.pl | -rw-r--r-- | 1.2 KB |
| latex.pl | -rw-r--r-- | 29.3 KB |
| lexicon.pl | -rw-r--r-- | 7.6 KB |
| ll1_gapping.pl | -rw-r--r-- | 9.9 KB |
| ll1_grammar.pl | -rw-r--r-- | 3.3 KB |
| mill1.pl | -rwxr-xr-x | 31.1 KB |
| mill1.tgz | -rw-r--r-- | 40.3 KB |
| options.pl | -rw-r--r-- | 4.6 KB |
| ordset.pl | -rwxr-xr-x | 17.1 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-- | 7.2 KB |
| proof_generation.pl | -rw-r--r-- | 46.5 KB |
| proof_generation_nd.pl | -rw-r--r-- | 4.6 KB |
| replace.pl | -rw-r--r-- | 5.0 KB |
| sem_utils.pl | -rw-r--r-- | 17.6 KB |
| semantic_terms.pdf | -rw-r--r-- | 186.5 KB |
| translations.pl | -rw-r--r-- | 30.1 KB |
| tree234.pl | -rwxr-xr-x | 60.0 KB |
