Re: Про ATS и зависимые типы
От: VladD2 Российская Империя www.nemerle.org
Дата: 03.03.12 23:20
Оценка:
Здравствуйте, D. Mon, Вы писали:

DM>Введение в ATS и зависимые типы:
DM>http://thedeemon.livejournal.com/41035.html

Не хочешь объединить это все в полноценную статью и опубликовать на РСДН?
Есть логика намерений и логика обстоятельств, последняя всегда сильнее.
 
Подождите ...
Wait...
Пока на собственное сообщение не было ответов, его можно удалить.