https://github.com/RichardMoot/LinearOne
Tip revision: 55540e9a91b7a5c7722775f39ffbf50f5b472a7e authored by Richard Moot on 12 November 2020, 17:47:42 UTC
Update .gitignore
Update .gitignore
Tip revision: 55540e9
File | Mode | Size |
---|---|---|
.DS_Store | -rw-r--r-- | 6.0 KB |
.gitignore | -rw-r--r-- | 446 bytes |
LICENSE | -rw-r--r-- | 25.8 KB |
Makefile | -rw-r--r-- | 43 bytes |
README.md | -rw-r--r-- | 2.8 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-- | 8.9 KB |
lambek_grammar.pl | -rw-r--r-- | 1.6 KB |
latex.pl | -rw-r--r-- | 29.3 KB |
lexicon.pl | -rw-r--r-- | 9.4 KB |
ll1_grammar.pl | -rw-r--r-- | 3.3 KB |
mill1.pl | -rwxr-xr-x | 31.3 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-- | 241 bytes |
portray_graph_tikz.pl | -rw-r--r-- | 7.2 KB |
proof_generation.pl | -rw-r--r-- | 47.1 KB |
proof_generation_nd.pl | -rw-r--r-- | 4.6 KB |
replace.pl | -rw-r--r-- | 5.1 KB |
sem_utils.pl | -rw-r--r-- | 17.6 KB |
semantic_terms.pdf | -rw-r--r-- | 186.5 KB |
translations.pl | -rw-r--r-- | 32.8 KB |
tree234.pl | -rwxr-xr-x | 60.0 KB |