Commit Graph

4 Commits

Author SHA1 Message Date
b705aa217c Update "expr pattern in agda" to new math delimiters
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
2024-05-13 18:50:56 -07:00
474c3a8348 Switch bracket types in Agda expression pattern post
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
2024-03-13 15:05:37 -07:00
29a18b8b37 Add description to expr_pattern
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
2024-03-11 23:26:07 -07:00
7d2842fd64 Add article about the 'deeply embedded expression' pattern 2024-03-11 23:15:56 -07:00