diff options
| author | Daan <daan@microsoft.com> | 2021-01-31 12:03:16 -0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-01-31 12:03:16 -0800 |
| commit | 599d6327ba38b4cca7928e4a1d3d4fe7aaad97b3 (patch) | |
| tree | 728f38f3b5687c17f1de40789bbdb0cd4a4f81d5 /readme.md | |
| parent | 89b7955afe939e7a251836d5c877ffc57c31a114 (diff) | |
Update readme.md
Diffstat (limited to 'readme.md')
| -rw-r--r-- | readme.md | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -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). |