My public website

Updated 5 months ago

Updated 5 months ago

Updated 7 months ago

Updated 9 months ago

Updated 10 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 12 months ago

The story of Oncaye making contact with missionaries in Coca.

Updated 1 year ago

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

Updated 3 years ago