Theodor René CarlsenandGitHub 89b4df8d92 Add link to explanation when introducing a new operator ...

The logical implication operator is included in this section but never explained. It might stump new readers with a pretty uncommon operator, and it's never referenced explicitly.

2022-01-11 17:01:43 +01:00

..

manual

Add link to explanation when introducing a new operator

2022-01-11 17:01:43 +01:00