README.md

CUTE Lang Specification

CUTE Lang Path Spec

1. Path Spec - Standard compiler path spec

CUTE Lang Parser Spec

1. Lexer Spec - Regular grammer spec
2. Parser Spec - Context-free grammer spec

Formal Proof with Coq

1. Semantics0

Author

• Junyoung Clare Jang
  • Github: @ailrun