About Get Typed

https://github.com/gettyped/gettyped

The site is written in Org mode and its various components are generated from there.

HTML

Published by Orgen.

Source

Extracted by Babel. Compiled and tested by sbt.

Demos

Uploaded by gist. Run by Scala-Js-Fiddle.

Most examples are written in Scala because it has:

• familiar syntax for most programmers,
• convenient encoding of sum types,
• higher kinded types,
• at least some tail call optimization, and
• a Javascript backend.