noah
/
morphexamples
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity
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.
3 Commits 1 Branch 0 Tags 1.9 MiB
Coq 100%
Go to file
Noah Diewald 09f7ad045c
intro to lcg files 		2021-02-25 19:55:03 -05: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 adding explanation of lexical entries 2021-02-25 19:54:31 -05:00
WaoFuture.v adding explanation of lexical entries 2021-02-25 19:54:31 -05: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

The phenomenon is described in:

Quechua plurals: QuechuaPlural.v

The phenomenon is described in:

Wao Tededo future tense: WaoFuture.v

I have not uploaded the slides yet.