Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source
Updated 2024-06-20 16:06:14 +03:00
Стиль LaTeX для оформления отчетов о НИР, расчётно-пояснительной записки к курсовым и дипломным работам (ГОСТ 7.32-2001 и ГОСТ РВ 15.110-2003).
Updated 2024-03-28 23:15:40 +03:00
LaTeX styles for different purposes.
Updated 2023-04-21 22:54:38 +03:00
Шаблоны .tex файлов документации для курсового проекта
Updated 2021-06-07 19:32:31 +03:00
LaTeX sources for the Habit Programming Language Report
Updated 2018-09-28 19:48:37 +03:00
Some writings about a type system for nix
Updated 2017-08-21 18:12:00 +03:00
LaTeX style file to typeset functional languages like Haskell
Updated 2013-03-25 06:28:04 +04:00