diff --git a/devel/compiler/Src.cf b/devel/compiler/Src.cf
index 5901ff8ed..57f1f146c 100644
--- a/devel/compiler/Src.cf
+++ b/devel/compiler/Src.cf
@@ -62,3 +62,4 @@ separator AssPatt ";" ;
 
 comment "--" ;
 comment "{-" "-}" ;
+
diff --git a/devel/compiler/Tgt.cf b/devel/compiler/Tgt.cf
new file mode 100644
index 000000000..a61c0bf74
--- /dev/null
+++ b/devel/compiler/Tgt.cf
@@ -0,0 +1,16 @@
+--- target language
+
+Tg. Object ::= [Fun] ;
+
+FVal. Fun ::= Ident "=" Val ;
+
+terminator Fun ";" ;
+
+VRec. Val ::= "[" [Val] "]" ;
+VPro. Val ::= "(" Val "." Val ")" ;
+VTok. Val ::= String ;
+VArg. Val ::= "$" Integer ;
+VPar. Val ::= Integer ;
+VCat. Val ::= "(" Val Val ")" ;
+
+terminator Val "," ;