From 510d9fdf6452e7a7339fe6935ee1067df8ed1f8d Mon Sep 17 00:00:00 2001 From: Mark Wotton Date: Wed, 3 Jul 2024 05:39:00 +0700 Subject: [PATCH] Add miniTSis to port list --- README.md | 1 + 1 file changed, 1 insertion(+) diff --git a/README.md b/README.md index cd7bde4..fc94dda 100644 --- a/README.md +++ b/README.md @@ -37,5 +37,6 @@ There are a number of ports of minithesis (:tada:). The following are the ones I * Dmitry Dygalo and Rik de Kort's Rust port, [minithesis-rust](https://github.com/Rik-de-Kort/minithesis-rust) * Justin Blank's Java port, [jiminy-thesis](https://github.com/hyperpape/jiminy-thesis) * Valentin Bogad's Julia port, [MiniThesis.jl](https://github.com/Seelengrab/MiniThesis.jl) +* Mark Wotton's TypeScript port, [miniTSis](https://github.com/lambdamechanic/miniTSis) If you write a port, please submit a pull request to add it to the list!