Skip to content

Commit

Permalink
Add npm badge to README.md
Browse files Browse the repository at this point in the history
  • Loading branch information
jcreedcmu authored Mar 21, 2024
1 parent c0e9e5b commit 41d4331
Showing 1 changed file with 1 addition and 0 deletions.
1 change: 1 addition & 0 deletions README.md
Original file line number Diff line number Diff line change
@@ -1,6 +1,7 @@
Twelf on Wasm
=============
[![run tests](https://github.com/jcreedcmu/twelf-wasm/actions/workflows/run-tests.yml/badge.svg?branch=main)](https://github.com/jcreedcmu/twelf-wasm/actions/workflows/run-tests.yml)
[![NPM Module](https://img.shields.io/npm/v/twelf-wasm.svg)](https://www.npmjs.com/package/twelf-wasm)

[Twelf](http://twelf.org/wiki/Main_Page) is an implementation, in
[Standard ML](https://en.wikipedia.org/wiki/Standard_ML), of a logical
Expand Down

0 comments on commit 41d4331

Please sign in to comment.