insert first-class datatype
authorMart Lubbers <mart@martlubbers.net>
Thu, 22 Sep 2022 14:41:53 +0000 (16:41 +0200)
committerMart Lubbers <mart@martlubbers.net>
Thu, 22 Sep 2022 14:41:53 +0000 (16:41 +0200)
commit40dfd7d1e32916bce678f7078ec178cb793cc872
tree28901063bac9922eb9311e48868bf1ec3093de36
parent61922d4f61677acca7e9b71295c055bc7e9618a9
insert first-class datatype
domain-specific_languages/.chktexrc [new file with mode: 0644]
domain-specific_languages/first-class_datatypes.tex
glossaries.tex
lstlanghaskell.sty
other.bib
preamble.tex