michael/blog
1
0
Fork 0
Code Issues 2 Pull requests Releases Packages 1 Wiki Activity

update path
All checks were successful
ci/woodpecker/push/woodpecker Pipeline was successful
Details

Browse source
This commit is contained in:
Michael Zhang 2024-06-11 10:58:14 -04:00
parent 216b1c35ed
commit dfbdf2d4ff
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
src/content/posts/2024-06-11-logical-relations.lagda.md
View file

@ -1,6 +1,6 @@
--- ---
title: "Logical Relations" title: "Logical Relations"
slug: 2024-06-11-path-induction-gadt-perspective slug: 2024-06-11-logical-relations
date: 2024-06-11 date: 2024-06-11
tags: ["programming-languages", "formal-verification"] tags: ["programming-languages", "formal-verification"]
draft: true draft: true