Kindelia/Kind2
1
1
Fork 0
mirror of https://github.com/Kindelia/Kind2.git synced 2024-08-15 18:20:26 +03:00
Code Issues Projects Releases Wiki Activity

feat: updated readme style

Browse Source
This commit is contained in:
Felipe G 2023-01-17 09:58:25 -03:00 committed by GitHub
parent 3f434a1aff
commit 3aefd0e539
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
README.md
View File

@ -2,8 +2,6 @@
![banner]
---
 
[![crates.io][crates.io-badge]][crates.io]
@ -16,6 +14,8 @@
[Examples](#examples) •
[Installation](#installation)
 
</div>
# Getting started
@ -94,4 +94,4 @@ hvm compile file.hvm
[discord.badge]: https://img.shields.io/discord/912426566838013994?style=flat-square
[discord.invite]: https://discord.gg/kindelia
[build.badge]: https://img.shields.io/github/actions/workflow/status/kindelia/kind/ci.yml?style=flat-square
[build.badge]: https://img.shields.io/github/actions/workflow/status/kindelia/kind/ci.yml?style=flat-square