Сообщество » MCC/LiME

12/31/2012

01:43 PM Revision 6fc9e7a0 (lime): В работе: deparse, сперцификация семантики

m.bakhterev

12/16/2012

01:00 AM Revision 4d99684f (lime): Работа над депарсером

m.bakhterev

05:31 PM Revision 36a27eea (lime): Небольшие перестановки. Работа над депарсером продолжается

m.bakhterev

12/14/2012

09:59 AM Revision 1bfda99b (lime): Начата работа над депарсером

m.bakhterev

12/13/2012

02:45 AM Revision 13f3aabe (lime): Ещё одна чистка синтаксиса. Можно считать, что он beta

m.bakhterev

10:43 PM Revision 6a015fde (lime): Небольшой cleanup

m.bakhterev

07:56 PM Revision d0cc2c5f (lime): Уточнения относительно parentheses и space apply

m.bakhterev

12/11/2012

10:42 AM Revision 8783524d (lime): Уточнена документация по форматам. Нужно почистить -apply

Видимо, наметилась большая путаница с p- и s- apply операторами. Но тут
можно дополнительно поработать, и свести всё ... m.bakhterev

12/07/2012

10:11 AM Revision 7b693133 (lime): Альфа вариант синтаксиса

m.bakhterev

12/06/2012

03:55 PM Revision 163c9cd6 (lime): Microstep

m.bakhterev

12/05/2012

11:42 PM Revision d685c11a (lime): Синтаксис. Почти взят

m.bakhterev

08:52 PM Revision 4ac90cf0 (lime): Синтаксис формализован. В процессе доказательств нужных свойств

m.bakhterev

12/04/2012

02:48 AM Revision 26b948d6 (lime): Синтаксис. Формализация

m.bakhterev