Why aren't the MUL() prop functions in the prelude docs? (on the site, that is)
21 views
Skip to first unread message
d4v3y_5c0n3s
Oct 30, 2021, 10:20:03 AM10/30/21
to ats-lang-users
I just noticed that the MUL() proof functions like "mul_gte_gte_gte()" are actually not listed in the prelude reference on the "ats-lang.org" site. Is this intended? Should open an issue on Github about it or something?
gmhwxi
Oct 30, 2021, 10:53:30 AM10/30/21
to ats-lang-users
Yes, please open an issue about it. Thanks!
d4v3y_5c0n3s
Oct 30, 2021, 11:30:05 AM10/30/21
to ats-lang-users
Done.
Reply all
Reply to author
Forward
0 new messages