This repository has been archived by the owner on Aug 2, 2024. It is now read-only.

Outdated comment #206

Open

maowtm opened this issue Apr 14, 2022 · 0 comments

Contributor

maowtm commented Apr 14, 2022 •

edited

Loading

https://github.com/modus-continens/modus/blob/9c06c5bc3b35c92c03ab89a129cf6eddcab92a88/modus-lib/src/builtin.rs#L44

Link is 404.

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