Joshua Potter caac19270e Automatic formatting.		2022-01-12 06:52:14 -05:00
..
app	Automatic formatting.	2022-01-12 06:52:14 -05:00
leibniz-proof.cabal	Initial commit.	2021-12-20 08:16:50 -05:00