From f0cabec0827f34ee92b68fbed726f95c683fed78 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Levent=20Erk=C3=B6k?= Date: Sun, 17 Mar 2024 21:17:18 -0700 Subject: [PATCH] Update README.md --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index b06740b9d..7ebb50e60 100644 --- a/README.md +++ b/README.md @@ -26,7 +26,7 @@ SBV also allows for an incremental mode: Users are given a handle to the SMT sol ## Overview - [Hackage](http://hackage.haskell.org/package/sbv) - - [Release Notes](http://github.com/LeventErkok/sbv/tree/master/CHANGES.md). + - [Release Notes](http://github.com/LeventErkok/sbv/tree/master/CHANGES.md) SBV library provides support for dealing with symbolic values in Haskell. It introduces the types: