fiatjaf 655f0070cd Add support for V: "v" (compiler) and "vfmt" fixer. (#3622) ...

* v: add "v fmt" fixer.

* v: add "v" (build) linter.

* v: fix vlint complaints and add documentation.

* v: add tests.

* v: use ale#Pad().

2021-03-26 15:38:57 +09:00

0 lines

0 B

Coq

Raw Blame History

The file is empty.