tweag/asterius
1
1
Fork 0
mirror of https://github.com/tweag/asterius.git synced 2024-10-26 09:21:04 +03:00
Code Issues Projects Releases Wiki Activity
semantics-tex
asterius/cabal.project
Cheng Shao 506fa3b3b7
Misc simplifications (#883)
2021-12-13 14:56:21 +01:00

4 lines
22 B
Plaintext
Raw Permalink Blame History

packages:
asterius
Reference in New Issue View Git Blame Copy Permalink