From 41d4331c23d11003a5741466966c49a4f5939a7e Mon Sep 17 00:00:00 2001 From: jcreedcmu Date: Thu, 21 Mar 2024 16:40:44 -0400 Subject: [PATCH] Add npm badge to README.md --- README.md | 1 + 1 file changed, 1 insertion(+) diff --git a/README.md b/README.md index 545c943..2f34063 100644 --- a/README.md +++ b/README.md @@ -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