From f724285d1d3cea85128069bcdf04e4c6af9c7a39 Mon Sep 17 00:00:00 2001 From: Akshay Nair Date: Sun, 10 Dec 2023 17:33:01 +0530 Subject: adds associativity for a=0 --- package.json | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'package.json') diff --git a/package.json b/package.json index a7d7598..91f7ae3 100644 --- a/package.json +++ b/package.json @@ -1,5 +1,5 @@ { - "name": "brainfuck-ts-types", + "name": "ts-theorem-provinator", "version": "0.0.0", "description": "__", "main": "index.js", -- cgit v1.3.1