search

kosmikus / lhs2tex

Preprocessor for typesetting Haskell sources with LaTeX
Other
99 stars 28 forks source link

[ fix #91 ] Add missing keywords for Agda #92

Closed L-TChen closed 1 year ago

L-TChen commented 1 year ago

Add missing keywords for Agda 2.6.3 and remove an outdated keyword codata, fixing #91.