diff --git a/README.md b/README.md index 3c3313b3..ab363a43 100644 --- a/README.md +++ b/README.md @@ -1,3 +1,6 @@ +![example workflow](https://github.com/G3Kappa/Ergo/actions/workflows/dotnet.yml/badge.svg) +[![license](https://img.shields.io/badge/License-AGPL-purple.svg)](LICENSE) + ## Design Goals Ergo brings first-order logic to the .NET world through a lightweight and extensible Prolog implementation written entirely in C#. It is a relatively young project, so it's neither ISO-compliant nor stable, but it's been consistently improving over the past few years.