Эпиграмма (язык программирования)
Эпиграмма (язык программирования) Обзор Epigram Epigram — функциональный язык программирования с зависимыми типами и интегрированной средой разработки. Система типов Epigram […]
Эпиграмма (язык программирования) Обзор Epigram Epigram — функциональный язык программирования с зависимыми типами и интегрированной средой разработки. Система типов Epigram […]
Lean (помощник по проверке) Обзор Lean Lean — это инструмент для верстки и функциональный язык программирования. Основан на индуктивных типах