https://github.com/RichardMoot/LinearOne
History
Tip revision: 55540e9a91b7a5c7722775f39ffbf50f5b472a7e authored by Richard Moot on 12 November 2020, 17:47:42 UTC
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

README.md

back to top