In ML, 'let' is for introducing a local scope for an expression while
'local' is for
introducing a local scope for declarations.
On Sat, Apr 13, 2019 at 6:20 PM aditya siram wrote:
> Am I right in thinking that the difference between a let/where and local
> is that the latter allows sharing
Maybe I'm missing what you're saying, but with ATS 0.3.12 I think you
can only use local...end at the top level
Cheers,
Vanessa
On 4/13/19 5:20 PM, aditya siram wrote:
> Am I right in thinking that the difference between a let/where and
> local is that the latter allows sharing scope across