From 599d6327ba38b4cca7928e4a1d3d4fe7aaad97b3 Mon Sep 17 00:00:00 2001
From: Daan <daan@microsoft.com>
Date: Sun, 31 Jan 2021 12:03:16 -0800
Subject: [PATCH] Update readme.md

---
 readme.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/readme.md b/readme.md
index b92911ce..2ccccea2 100644
--- a/readme.md
+++ b/readme.md
@@ -10,7 +10,7 @@
 mimalloc (pronounced "me-malloc")
 is a general purpose allocator with excellent [performance](#performance) characteristics.
 Initially developed by Daan Leijen for the run-time systems of the
-[Koka](https://github.com/koka-lang/koka) and [Lean](https://github.com/leanprover/lean) languages.
+[Koka](https://koka-lang.github.io) and [Lean](https://github.com/leanprover/lean) languages.
 
 Latest release tag: `v1.7.0` (2020-01-31).