remove simplification once it has been moved to smtml - Githubissues

OCamlPro / owi

WebAssembly Swissknife & cross-language bugfinder

https://ocamlpro.github.io/owi/

GNU Affero General Public License v3.0

137 stars 18 forks source link

remove simplification once it has been moved to smtml #422

Open zapashcanon opened 3 months ago

zapashcanon commented 3 months ago

see https://github.com/OCamlPro/owi/pull/417#discussion_r1729177992