This repository has been archived by the owner on Jan 17, 2025. It is now read-only.

Mention a different example checker in README #26

Open

ldruschk opened this issue Apr 21, 2021 · 0 comments

Member

ldruschk commented Apr 21, 2021

this currently mentions WASP, which is using the C# checker these days

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.