Kind of:
https://github.com/sparverius/Temptory-Release/releases/tag/v0.0.0-alpha
Building and installing it is just like building and installing
ATS-Postiats.
Kudos to Richard Kent for his heroics :)
Cheers!
--Hongwei
--
You received this message because you are subscribed to the Google
On Wed, May 29, 2019 at 3:53 PM Richard wrote:
> Assert that the value is true.
>
> For the definition of tt, see
> https://github.com/githwxi/ATS-Temptory/blob/master/libats/basics_pre.sats#L66
Thanks. I think I should learn basic library to understand ATS-Temptory, again.
--
On Wednesday, May 29, 2019 at 2:14:57 AM UTC-4, Kiwamu Okabe wrote:
> What's `val-tt`?
> --
> Kiwamu Okabe
Assert that the value is true.
For the definition of tt, see
https://github.com/githwxi/ATS-Temptory/blob/master/libats/basics_pre.sats#L66
--
You received this message be
What's `val-tt`?
--
Kiwamu Okabe
--
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 ats-lang-users+unsubscr...@googlegroups.com.
To post to this group, send
It is my pleasure to introduce ATS-Temptory, which is planned to be the new
face of ATS2.
Why Temptory? The name refers to TemplateFactory. Also the ending of the
word aligns with
the ending of 'Category'. My very limited understanding of category theory
played a significant
role