Permalink
Browse files

keywords in paper.

  • Loading branch information...
1 parent 59008ef commit 42b0da2d9376c21dfe71f31c14c566b356f9454c @leepike committed Jul 4, 2012
Showing with 2 additions and 2 deletions.
  1. +2 −2 ICFP2012/paper.tex
View
@@ -78,8 +78,8 @@
\terms
Languages, Verification
-%% \keywords
-%% keyword1, keyword2
+\keywords
+embedded domain-specific language, compiler, verification
%\todo{emails for sebastian, nis?}

0 comments on commit 42b0da2

Please sign in to comment.