# prolet

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

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

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

## Лицензия

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