update readme

This commit is contained in:
daan 2019-06-19 16:52:58 -07:00
parent b3212eef72
commit 1df1d51333

View File

@ -1,11 +1,11 @@
<img align="left" width="100" height="100" src="doc/mimalloc-logo.png"/> <img align="left" width="100" height="100" src="doc/mimalloc-logo.png"/>
# mi-malloc # mimalloc
&nbsp; &nbsp;
mi-malloc (pronounced "me-malloc") mimalloc (pronounced "me-malloc")
is a general purpose allocator with excellent performance characteristics. is a general purpose allocator with excellent performance characteristics.
Initially developed by Daan Leijen for the run-time systems of the 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://github.com/koka-lang/koka) and [Lean](https://github.com/leanprover/lean) languages.