glot.io, a code pastebin that can also run your code, now supports ATS.

[Steinway Wu]

Hi, 

I recently came across glot.io, an online service that lets you run and share snippets. It is open source, so I took the opportunity to add support for our ATS programming language. They use docker image to run ATS code, and the image I provide contains not only ATS, but also erlang/elixir/z3 and make. You have all the freedom to play with a lot of fun stuff in that setting. What's also cool is they provide the ability to embed the snippets as a nice little widget/iframe, while keeping your files editable and runnable!

I posted a proof for the admissibility of cut in intuitionistic logic here https://glot.io/snippets/eegppgnisi, and you can actually run it and check the proof using ATS/z3.

Some links:

• glot.io project page on github: https://github.com/prasmussen/glot/wiki/Instructions-for-adding-a-new-language-to-glot.io
• ATS docker container: https://github.com/steinwaywhw/docker-ats/blob/master/Dockerfile

[Hongwei Xi]

Bravo!

--
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-user...@googlegroups.com.
To post to this group, send email to ats-lan...@googlegroups.com.
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/ed7a507d-91e6-4647-b51c-f180969af73a%40googlegroups.com.

[gmhwxi]

Could you also make ATS logo shown in the entry for ATS?

[Artyom Shalkhakov]

This is so awesome! Thank you!

[gmhwxi]

Here is my trial:

https://glot.io/snippets/eei9lei9w1

On Saturday, May 7, 2016 at 3:27:52 PM UTC-4, gmhwxi wrote:

Bravo!

On Sat, May 7, 2016 at 2:18 PM, Steinway Wu wrote:

Hi, 

I recently came across glot.io, an online service that lets you run and share snippets. It is open source, so I took the opportunity to add support for our ATS programming language. They use docker image to run ATS code, and the image I provide contains not only ATS, but also erlang/elixir/z3 and make. You have all the freedom to play with a lot of fun stuff in that setting. What's also cool is they provide the ability to embed the snippets as a nice little widget/iframe, while keeping your files editable and runnable!

I posted a proof for the admissibility of cut in intuitionistic logic here https://glot.io/snippets/eegppgnisi, and you can actually run it and check the proof using ATS/z3.

Some links:

• glot.io project page on github: https://github.com/prasmussen/glot/wiki/Instructions-for-adding-a-new-language-to-glot.io
• ATS docker container: https://github.com/steinwaywhw/docker-ats/blob/master/Dockerfile

--
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+unsubscribe@googlegroups.com.
To post to this group, send email to ats-lang-users@googlegroups.com.

[Steinway Wu]

Sure, but where can I find the source file for the logo?

[Hongwei Xi]

It is here:

https://github.com/githwxi/ATS-Postiats/blob/master/doc/PROJECT/MEDIUM/ats2langweb/theLogo/theLogo.png

--
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-user...@googlegroups.com.
To post to this group, send email to ats-lan...@googlegroups.com.

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/16047368-20e9-4e94-9a68-5846e16443c2%40googlegroups.com.

[Artyom Shalkhakov]

OK, here's my attempt:

https://glot.io/snippets/eei9ulhfry

The one-hole contexts remind of the dataviews used in old AVL tree and RB tree implementations (from ATS1 libats/ngc) that were used to reconstruct the trees after rebalancing.

[Steinway Wu]

Sure, it is merged. It will be published in the next deployment.

[Raoul Duke]

that is very cool. nice work / congrats to everybody involved.