Skip to content

Commit

Permalink
update readme
Browse files Browse the repository at this point in the history
  • Loading branch information
@HuStmpHrrr
HuStmpHrrr committed Sep 29, 2019
1 parent 7c67372 commit 7395e7f
Showing 1 changed file with 5 additions and 0 deletions.
5 changes: 5 additions & 0 deletions README.md
View file
Original file line number Diff line number Diff line change
Expand Up @@ -2,6 +2,11 @@

Welcome to what will hopefully become the standard Category Theory library for Agda.

This is release v0.1 which depends on agda-stdlib v1.1.

Please note that this library is still under development and the stability of the
library is not guaranteed.

## Origins

This library is a rewrite of [copumpin's version](https://github.com/copumpkin/categories)
Expand Down

0 comments on commit 7395e7f

Please sign in to comment.