Документирование программ

Привет из 2019 года. В наше счастливое время уже есть средство для оформления Markdown стилями ГОСТ. Оно называется GOSTdown:
gitlab.iaaras.ru/iaaras/gostdown
shmat-razum.blogspot.com/2018/03/gostdown.html

Многочлены от нескольких переменных и алгоритм Бухбергера на Haskell

Возможно, вы видели труд С. Мешвелиани с реализацией алгоритмов вычислительной алгебры на Хаскеле.

Автор, правда, впоследствии разочаровался в Хаскеле, из-за невозможности создания в рантайме типов вроде «факторпространство кольца полиномов K[x,y,z] по идеалу I»