SharedARCOpen in CoCalc
Logic of "all" + verbs + relative clauses, for a class at Indiana University
ARC.ipynb
ARC copy.ipynb
2018-09-10-163225.ipynb
2018-09-06-133658.term
2018-09-06-133702.term
AllVerbsRelativeClauses.o
AllVerbsRelativeClauses.dyn_o
Models.o
AllVerbsRelativeClauses.hi
Models.dyn_o
AllVerbsRelativeClauses.dyn_hi
SyllogisticInference.dyn_hi
ExampleRules.o
SyllogisticInference.dyn_o
FrontEnd.dyn_o
ExampleRules.dyn_hi
ExampleRules.hi
SyllogisticInference.hi
SyllogisticInference.o
Models.hi
ExampleRules.dyn_o
Models.dyn_hi
FrontEnd.o
FrontEnd.dyn_hi
FrontEnd.hi
ExampleSentences.hi
ExampleSentences.o
ExampleSentences.dyn_hi
Syntax2.dyn_o
ExampleSentences.dyn_o
Syntax2.o
Syntax2.hi
Syntax2.dyn_hi
ProofTreeNumbers.dyn_o
ProofTreeNumbers.hi
ProofTreeNumbers.o
ProofTreeNumbers.dyn_hi
pianotrumpet.jpg
alhambra.jpg
Fifteen_Skunks.jpg
cello.jpg
harp.jpg
JeffreyFine6.25.jpg
AllVerbsRelativeClauses.hs
AllVerbsRelativeClausesLM.hs
ARC.hs
Models.hs
Grand.hs
ARCwithDown.hs
ExampleRules.hs
ExampleSentences.hs
FrontEnd.hs
Main.hs
Test.hs
ProofTreeNumbers.hs
SyllogisticInference.hs
Syntax2.hs