A functional language for front-end web development with strong type guarantees.
Insurello
Stockholm, Sweden