# prolet

Язык программирования в духе диалектического материализма

## Документация

- [Философия в проектировании языков](./docs/phi-000.md)
- [Контекст создания нового языка](./docs/prolet-lang-context.md)
- [Диалектико-теоретические требования к языку](./docs/prolet-philosoph-requirements.md)
- [Разрешение диалектических противоречий на новом уровне](./docs/prolet-sintez.md)
- [Многоэтажность языка](./docs/prolet-levels.md)
- [Диалектика стиля нотации](./docs/prolet-notation-style.md)
- [Диалектическое развитие S-выражений](./docs/prolet-lisp-up.md)
- [Диалектика развития языка](./docs/prolet-dialect-up.md)
- [Диалектика динамики типов](./docs/prolet-dialect-typing.md)
- Атомы языка
- ВМ
- Система типов

## Лицензия

Язык распространяется под лицензией [UCL](https://gitp78su.ipnodns.ru/svi/ucl).