modus icon indicating copy to clipboard operation
modus copied to clipboard

Published 20 hours ago • verified publisher icon pku-msv-lab

Outdated comment

Open maowtm opened this issue 2 years ago • 0 comments

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

Link is 404.

maowtm avatar Apr 14 '22 17:04 maowtm