mirror of
https://github.com/coot/free-category.git
synced 2024-09-11 14:17:30 +03:00
Updated README file
This commit is contained in:
parent
f6eb1fae64
commit
1eb039e246
2
.github/workflows/posix.yml
vendored
2
.github/workflows/posix.yml
vendored
@ -1,4 +1,4 @@
|
|||||||
name: "POSIX"
|
name: "Haskell/CI"
|
||||||
on: [push]
|
on: [push]
|
||||||
|
|
||||||
jobs:
|
jobs:
|
||||||
|
@ -1,6 +1,6 @@
|
|||||||
# Free Category
|
# Free Category
|
||||||
[![Maintainer: coot](https://img.shields.io/badge/maintainer-coot-lightgrey.svg)](http://github.com/coot)
|
[![Maintainer: coot](https://img.shields.io/badge/maintainer-coot-lightgrey.svg)](http://github.com/coot)
|
||||||
[![CircleCI](https://circleci.com/gh/coot/free-category/tree/master.svg?style=svg)](https://circleci.com/gh/coot/free-category/tree/master)
|
[![Haskell/CI](https://github.com/coot/free-category/workflows/Haskell/CI/badge.svg)](https://github.com/coot/free-category/actions)
|
||||||
|
|
||||||
This package contains efficient implementations of free categories. There are
|
This package contains efficient implementations of free categories. There are
|
||||||
various representations available:
|
various representations available:
|
||||||
|
Loading…
Reference in New Issue
Block a user