Simple unit tests within dependent type systemhttp://pozorvlak.livejournal.com/162233.html by thesz • 15 years ago 14 0 15 years agoPOpozorvlak.livejournal.com