3 Commits

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