On Mon, Nov 12, 2018 at 12:36 PM Hongwei Xi <[email protected]> wrote:
> >>Where is the relationship between operator `*` and function `bmul`?
>
> I misremembered. 'bmul' should be 'mul_bool1_bool1'.
Thanks. Clear for me.
```
fun
mul_bool1_bool1
{b1,b2:bool}
(b1: bool b1, b2: bool b2):<> bool(b1 && b2) = "mac#%"
overload * with mul_bool1_bool1 of 20
```
Dynamics of `mul_bool1_bool1` is implemented on C code
"prelude/CATS/bool.cats", but also has statics with dependent type.
Also the implementation can be shaped on JS code
"contrib/libatscc2js/CATS/bool_cats.js".
Fantastic!!!
Thanks,
--
Kiwamu Okabe at METASEPI DESIGN
--
You received this message because you are subscribed to the Google Groups
"ats-lang-users" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at https://groups.google.com/group/ats-lang-users.
To view this discussion on the web visit
https://groups.google.com/d/msgid/ats-lang-users/CAEvX6d%3DAMOi6u1cvmc%2BBt-BdOG1bhc4QoRkNvyf6mLz5b0cyDw%40mail.gmail.com.
