agda dependenttypes ruby dataflow mozart concurrency declarative oz larrydiehl larrytheliquid java orlando codetown ojug orlandojug clojure
Tout plus