Skip to content

Commit fd2360e

Browse files
committed
add README badges
1 parent 717c5bb commit fd2360e

File tree

1 file changed

+3
-0
lines changed

1 file changed

+3
-0
lines changed

README.md

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,8 @@
11
# lambda_calculus
22

3+
![Tests](https://github.com/Deric-W/lambda_calculus/actions/workflows/Tests.yaml/badge.svg)
4+
[![codecov](https://codecov.io/gh/Deric-W/lambda_calculus/branch/main/graph/badge.svg?token=SU3982mC17)](https://codecov.io/gh/Deric-W/lambda_calculus)
5+
36
The `lambda_calculus` package contains classes which implement basic operations of the lambda calculus.
47

58
To use it, simply import the classes `Variable`, `Abstraction` and `Application` from this package

0 commit comments

Comments
 (0)