No. This has to be done in an unsafe manner as the linear view part is
discarded.
On Tue, Mar 21, 2017 at 9:28 AM, August Alm wrote:
> Is there a standard way to get the underlying [VT?!] part of a term [x:
> VT]?, i.e., some (polymorphic) function
>
> VT -> VT?!
>
> or
It is new just created for this post :) I have only been learning ATS for
one month
On Tuesday, March 21, 2017 at 2:06:53 AM UTC-7, Kiwamu Okabe wrote:
>
> On Tue, Mar 21, 2017 at 6:02 PM, spearman > wrote:
> > https://spearman.github.io/
>
> Your page is so great work
On Tue, Mar 21, 2017 at 6:02 PM, spearman wrote:
> https://spearman.github.io/
Your page is so great work for me!
I think I found it at the start point learning ATS language!
--
Kiwamu Okabe at METASEPI DESIGN
--
You received this message because you are subscribed to
I have some confusion still about the word "sort" and how it is used in ATS.
on the one hand, in the sense of PTS a sort (as I understand it) is a
syntactic category, so instead of just terms and types, a program can now
have more "orthogonal" syntax structure, e.g. proofs
on the other hand,