Project

General

Profile

Issues

Filters

Apply Clear

# Tracker Status Priority Subject Assignee Updated
28 Улучшение Закрыта Нормальный 2.3.1. .T рекурсивная оценка с созданием таблицы, похожей на таблицу атомов. Должно быть несложно m.bakhterev 04/03/2014 12:46 PM
29 Улучшение Закрыта Нормальный 2.3.2. Занесение привязки типа к некоторому имени при помощи .TEnv. m.bakhterev 04/03/2014 12:46 PM
30 Улучшение Закрыта Нормальный 2.4. Оценка переменных (конструкция .S). m.bakhterev 04/03/2014 12:46 PM
31 Улучшение Закрыта Нормальный 3. Внутреннее согласование процедуры progress с порождением и разрушением окружений. m.bakhterev 04/03/2014 12:46 PM
32 Улучшение Закрыта Нормальный 3.1. Согласование с более продуманным интерфейсом библиотеки. m.bakhterev 04/03/2014 12:46 PM
33 Улучшение Закрыта Нормальный 3.2. Выразить в терминах переходов между разными окружениями смену контекста вывода текущего окружения. m.bakhterev 04/03/2014 12:46 PM
34 Улучшение Закрыта Нормальный 3.2.1. По каким условиям прекратить вывод и вернуться обратно? m.bakhterev 04/03/2014 12:46 PM
35 Улучшение Закрыта Нормальный 3.2.2. Как аккуратно сослаться на определённый накопленный контекст вывода m.bakhterev 04/03/2014 12:46 PM
36 Улучшение Закрыта Нормальный 3.2.3. Как поменять местами несколько контекстов вывода? m.bakhterev 04/03/2014 12:46 PM
40 Улучшение Закрыта Немедленный Очередная итерация логики присваивания, с учётом нового продвижения типов m.bakhterev 05/29/2015 01:26 PM
(26-35/35) Per page: 25, 50

Also available in: Atom CSV PDF