Skip to content

Commit 06a9f97

Browse files
committed
Add a basic 1ML logo
1 parent 7c78a5f commit 06a9f97

2 files changed

Lines changed: 7 additions & 0 deletions

File tree

README.md

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -400,3 +400,7 @@ Opt :> OPT = {
400400

401401
Note how values of type `wrap T` have to be wrapped and unwrapped explicitly,
402402
with a type annotation.
403+
404+
---
405+
406+
<p align="center"><img width="25%" src="logo.svg"></p>

logo.svg

Lines changed: 3 additions & 0 deletions
Loading

0 commit comments

Comments
 (0)