The Laconic programming language family

This project has been superceded by the Ur project.

You have happened along a programming language design project in its early stages. The basic premise of the project is that dependent type systems can be put to real practical use as a basis for statically-checked metaprogramming; in particular, I'm focusing initially on web applications.

There are a number of tidbits available here already:

I'm putting this project in stasis for a bit while I focus on developing the infrastructure needed to make it more pleasant to develop implemementations of new dependently-typed programming languages. --Adam

SourceForge Logo