Commit 01d7ac66 authored by ComFreek's avatar ComFreek

fix syntax error detected by Pygments lexer (yay)

parent 37e29034
......@@ -30,9 +30,9 @@ theory CTTQE =
const: string ⟶ tp ⟶ tm ε❘# const 1❙
var: string ⟶ tp ⟶ tm ε❙
application: tm ε ⟶ tm ε ⟶ tm ε❘# 1 app 2
abstraction: string ⟶ tp ⟶ tm ε ⟶ tm ε❘# abs 1 % 2 . 3
quotation: tm ε ⟶ tm ε❘# quo 1
application: tm ε ⟶ tm ε ⟶ tm ε❘# 1 app 2
abstraction: string ⟶ tp ⟶ tm ε ⟶ tm ε❘# abs 1 % 2 . 3
quotation: tm ε ⟶ tm ε❘# quo 1
// rule ComputeApply❙
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment