1
1
mirror of https://github.com/coot/free-category.git synced 2024-08-16 09:30:46 +03:00

Updated README.md CI badge

This commit is contained in:
Marcin Szamotulski 2022-09-15 20:27:33 +02:00
parent d709536e95
commit 1551e82962
No known key found for this signature in database
GPG Key ID: 827103837AF0BC20

View File

@ -1,6 +1,6 @@
# Free Category
[![Maintainer: coot](https://img.shields.io/badge/maintainer-coot-lightgrey.svg)](http://github.com/coot)
[![Haskell/CI](https://github.com/coot/free-category/workflows/Haskell/CI/badge.svg)](https://github.com/coot/free-category/actions)
[![Haskell/CI](https://github.com/coot/free-category/actions/workflows/ci.yaml/badge.svg)](https://github.com/coot/free-category/actions)
This package contains efficient implementations of free categories. There are
various representations available: