Skip to content

Commit aa6832b

Browse files
author
Xiaohong Chen
authored
Update index.md
1 parent a14d964 commit aa6832b

File tree

1 file changed

+0
-5
lines changed

1 file changed

+0
-5
lines changed

‎index.md‎

Lines changed: 0 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -1,8 +1,3 @@
1-
---
2-
title: Matching Logic
3-
---
4-
5-
61
## What is Matching Logic?
72

83
### For programming language semanticists:

0 commit comments

Comments
 (0)