# prolet

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

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

- [Философия в проектировании языков](./docs/phi-000.md)
- [Контекст создания нового языка](./docs/prolet-001.md)
- [Диалектико-теоретические требования к языку](./docs/prolet-002.md)
- [Разрешение диалектических противоречий на новом уровне](./docs/prolet-003.md)
- [Многоэтажность языка](./docs/prolet-004.md)
- [Диалектика стиля нотации](./docs/prolet-005.md)
- [Диалектическое развитие S-выражений](./docs/prolet-006.md)
- [Диалектика развития языка](./docs/prolet-007.md)
- [Диалектика динамики типов](./docs/prolet-008.md)
- [Диалектическая несостоятельность nil](./docs/prolet-009.md)
- [Диалектическая онтология типов](./docs/prolet-010.md)
- Атомы языка
- ВМ
- Система типов

## Лицензия

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