nixpkgs/pkgs/development/libraries/agda/pretty/contextfile
2014-09-27 03:30:30 +01:00

7 lines
193 B
Text

Context:
[TAG Correct-by-Construction Pretty-Printing (2013-06-14)
Nils Anders Danielsson <nils.anders.danielsson@gmail.com>**20130614153155
Ignore-this: a64ae32de9e22d60d64ef3da19847e00
]