Cayenne
cs.chalmers.seA Haskell-like language with a powerful type system based on dependent types.
Rate This Site
Embed Badge
Place this code on your website to show you're listed here.
A Haskell-like language with a powerful type system based on dependent types.