Re: [ats-lang-users] [Slide] Static typing and proof on ATS language

[Kiwamu O. <ki...@de...>]

Hi Hongwei,

On Sun, Nov 8, 2015 at 12:36 AM, gmhwxi <gm...@gm...> wrote:
> I have a suggestion that you also make webpage-based slides.
> Then you can present your code "lively":
>
> http://ats-lang.github.io/EXPERIMENT/patsopt-atscc2js-trial/index.html
>
> This will allow people to easily try your code when reading your slides.
> They will be much more impressed in this way because they are able to
> experience first-handedly how program mistakes are caught as type-errors
> by the typechecker of ATS.

Thanks for your advice. I have many chance to explain ATS language for
beginners. The webpage is useful for it.

Thanks,
-- 
Kiwamu Okabe at METASEPI DESIGN