frege. Derivational representations of natural language semantics, using a typed lambda calculus, implemented in Racket Scheme.

github.com/emacsomancer/frege

Vaya's read on this project

Problem, audience, market, and the verdict — sign in to see it.

Updates

No recent activity.