Semantic Web Interest Group IRC Scratchpad

Welcome to the Semantic Web Interest Group scratchpad generated automatically from discussions on IRC at Freenode channel #swig 2001-2018 approx by the chump bot.

Nearby: IRC logs | semantic-web list | W3C Wiki (Recent changes) | delicious swigbot

last updated at 2015-08-09 08:48
https://github.com/puffnfresh/crosscheck/blob/master/Example.hs
posted by ylo at 2015-08-09 08:48 (+) tags:
ww: amusing, and useful
 
Almost haskell to javascript compiler
posted by ww at 2015-08-09 08:43 (+) tags:
ww: not sure what the point of roy is given purescript (other than a language implementation exercise)
 
Literate Roy
posted by ww at 2015-08-09 08:41 (+) tags:
 
https://github.com/uwplse/verdi/blob/master/PROOF_ENGINEERING.md
posted by ylo at 2015-08-09 08:41 (+) tags:
 
http://roy.brianmckenna.org/
posted by ylo at 2015-08-09 08:31 (+) tags:
ylo: Roy is an experimental programming language that targets JavaScript. It tries to meld JavaScript semantics with some features common in static functional languages
AAA_awright: As if the world needs more whitespace significant languages (!!!)
 
Created by the Daily Chump bot. Hosted by PlanetRDF.