mirror of
https://github.com/idris-lang/Idris2.git
synced 2024-09-11 21:37:48 +03:00
Fix typo
This commit is contained in:
parent
a4b99bd81c
commit
572a4c74d6
@ -30,7 +30,7 @@ general philosophy of the Idris project, which can be summarised as follows:
|
|||||||
* Idris *allows* software developers to express invariants of their data and prove
|
* Idris *allows* software developers to express invariants of their data and prove
|
||||||
properties of programs, but will not *require* them to do so
|
properties of programs, but will not *require* them to do so
|
||||||
|
|
||||||
Many contributions will require acccompanying tests and documentation updates.
|
Many contributions will require accompanying tests and documentation updates.
|
||||||
Bugfixes in particular should be accompanied by tests, to avoid future
|
Bugfixes in particular should be accompanied by tests, to avoid future
|
||||||
regressions.
|
regressions.
|
||||||
|
|
||||||
|
Loading…
Reference in New Issue
Block a user