search

cpitclaudel / alectryon

A collection of tools for writing technical documents that mix Coq code and prose.
MIT License
228 stars 36 forks source link

Update literate.v #9

Closed thery closed 3 years ago

thery commented 3 years ago

Typo

cpitclaudel commented 3 years ago

I'm sorry, I completely missed the notification for this PR! This typo got fixed in https://github.com/cpitclaudel/alectryon/commit/ab9cecdf182cb482e004171cee452b4ef715f840 . I added a git note to the commit to credit you and this PR retrospectively.

thery commented 3 years ago

no problem