3 Commits

Author	SHA1	Message	Date
Qubasa	798fbe3839	Added documentation on contract and property based testing	2023-11-08 19:55:12 +01:00
Qubasa	90a1311365	contributing.md: Fixed missing direnv install step	2023-11-03 20:33:27 +01:00
Qubasa	fe689d4840	Added contributing.md and improved README.md	2023-10-31 12:57:28 +01:00