This repository contains some basic fragments, or analyses in Coq, using Lexical Proof Morphology. The point is primarily to flesh out details of simplified analyses provided at conferences.
Go to file
Noah Diewald 5f1750ff5e
minor formatting and new constructor for SP_s_p
2021-06-04 03:14:35 -04:00
CDS_prims.v adding jordan's work 2021-06-04 00:52:04 -04:00
PotawatomiPoss.v initial commit 2021-02-25 06:42:04 -05:00
QuechuaPlural.v initial commit 2021-02-25 06:42:04 -05:00
README.org added a line introducting the link 2021-02-26 15:35:44 -05:00
Wao.v minor formatting and new constructor for SP_s_p 2021-06-04 03:14:35 -04:00
WaoFuture.v fixing typos 2021-05-01 22:52:43 -04:00
extensions.v adding jordan's work 2021-06-04 00:52:04 -04:00
introlcgho.pdf intro to lcg files 2021-02-25 19:55:03 -05:00
raisingho.pdf intro to lcg files 2021-02-25 19:55:03 -05:00

README.org

Examples from talks

The files in this directory are mostly more fleshed out examples from talks. They still consitute incomplete fragments but provide details that are otherwise missing in overviews.

Some of the explanations in these files assume a knowledge of LCG. For a brief introduction, see the files:

  • introlcgho.pdf
  • raisingho.pdf

Potawatomi possession: PotawatomiPoss.v

Quechua plurals: QuechuaPlural.v

Wao Tededo future tense: WaoFuture.v

The phenomenon is described in: