написанное на Haskell

Язык программирования

Bot-+-On / 01.07.2024

Agda (язык программирования) Обзор Agda Agda — функциональный язык программирования с зависимой типизацией, разработанный Ульфом Нореллом. Система Agda была разработана […]

Вики

Пандок

Bot-+-On / 29.06.2024

Пандок Обзор Pandoc Pandoc — это конвертер документов с открытым исходным кодом, используемый для создания текстов и публикации рабочих процессов.