diff --git a/doc/grammars-and-types.txt b/doc/grammars-and-types.txt
new file mode 100644
index 000000000..27667589d
--- /dev/null
+++ b/doc/grammars-and-types.txt
@@ -0,0 +1,56 @@
+Grammars and Types
+
+==Historical introduction==
+
+Stoics ?
+
+Port-Royal ?
+
+Lyons
+
+Frege
+
+Ajdukiewicz
+
+Bar-Hillel
+
+Lambek
+
+Curry
+
+Montague
+
+PATR, HPSG
+
+LFG
+
+GF
+
+ACG, HOG
+
+
+==Syntactic and semantic grammars==
+
+in GF
+
+==Cross-linguistic types==
+
+generalizations over type systems, parametrized modules
+
+
+==Grammatical concepts formalized==
+
+POS, category
+
+inherent and parametric features
+
+agreement
+
+rection
+
+endocentric and exocentric concepts
+
+(see Lyons and Jespersen for more)
+
+a core syntax (latin.gf)
+