diff options
| author | Benur21 <rubjorper@mail.com> | 2019-11-21 20:15:38 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-11-21 20:15:38 +0000 |
| commit | 9e8184f455af5dcbbc1966cb50cbd0a007a85d2e (patch) | |
| tree | 6cd85cdea697622f50db8da0cc28692e23f8bb48 /coq.html.markdown | |
| parent | f1d03b0318a43441bb96bfdaabbd914eaa985879 (diff) | |
Explaining better and improving consistence
Added a version without parentheses to make it clear what they are doing;
Added return values for True and False because 3 also has it.
Diffstat (limited to 'coq.html.markdown')
0 files changed, 0 insertions, 0 deletions