Web-Projects/blog-static
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Switch bracket types in Agda expression pattern post

Browse Source 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
This commit is contained in:
Danila Fedorin 2024-03-13 15:05:37 -07:00
parent 29a18b8b37
commit 474c3a8348
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
content/blog/agda_expr_pattern.md
View File

@ -1,5 +1,5 @@
--- ---
title: "The 'Deeply Embedded Expression' Trick in Agda" title: "The \"Deeply Embedded Expression\" Trick in Agda"
date: 2024-03-11T14:25:52-07:00 date: 2024-03-11T14:25:52-07:00
tags: ["Agda"] tags: ["Agda"]
description: "In this post, I talk about a trick I developed to simplify certain Agda proofs." description: "In this post, I talk about a trick I developed to simplify certain Agda proofs."