Skip to content
This repository was archived by the owner on Sep 3, 2025. It is now read-only.

Commit 817699b

Browse files
deempdeemp
committed
add badges and logo
1 parent 7505fa9 commit 817699b

1 file changed

Lines changed: 5 additions & 0 deletions

File tree

‎README.md‎

Lines changed: 5 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,10 @@
11
# Try-phi
22

3+
<img alt="logo" src="https://www.objectionary.com/cactus.svg" height="100px" />
4+
5+
[![Hits-of-Code](https://hitsofcode.com/github/objectionary/try-phi?branch=main)](https://hitsofcode.com/view/github/objectionary/try-phi?branch=main)
6+
![Lines of code](https://img.shields.io/tokei/lines/github/objectionary/try-phi?style=flat-square)
7+
38
This is an experimental interpreter for a variant of 𝜑-calculus.
49
Right now we implement it as a term rewriting system.
510

0 commit comments

Comments
 (0)