Bravo!
On Sat, May 7, 2016 at 2:18 PM, Steinway Wu <steinway...@gmail.com> 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+unsubscr...@googlegroups.com. > To post to this group, send email to ats-lang-users@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 > <https://groups.google.com/d/msgid/ats-lang-users/ed7a507d-91e6-4647-b51c-f180969af73a%40googlegroups.com?utm_medium=email&utm_source=footer> > . > -- 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 email to ats-lang-users@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/CAPPSPLp%3DjGFcS9xwvVzATYOTSRTq1KeKG0cr-aDCf%2BWCMeb6HA%40mail.gmail.com.
