Updated 4 weeks ago

Updated 4 weeks ago

My public website

Updated 3 months ago

Updated 3 months ago

Updated 5 months ago

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.

Updated 6 months ago

The story of Oncaye making contact with missionaries in Coca.

Updated 8 months ago

This is code for the coq proof assistant laying out a basic analysis of a case of morphological overabundance in Potawatomi.

Updated 2 years ago