From 0986fa6cb3a6720e34ac6e7166d28e000063662b Mon Sep 17 00:00:00 2001 From: latyas Date: Wed, 6 Jan 2021 21:06:08 +0800 Subject: [PATCH] typo which mislinks to decidiability.html --- language.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/language.md b/language.md index aa6ac87b2..24df45d3e 100644 --- a/language.md +++ b/language.md @@ -9,7 +9,7 @@ verification. Technically, this means that important verification problems like invariant checking and bounded model checking fall within a [decidable fragment][df] of first-order logic. -[df]: decidiability.html +[df]: decidability.html For this reason, the Ivy language has certain unusual features. Ivy divides the world into three categories of things: