Yeah, you would get a runtime error calling that member without checking that it exists.
pooberbee (they/she)
(they/he/she)
- 0 Posts
- 3 Comments
Joined 2 years ago
Cake day: June 26th, 2023
You are not logged in. If you use a Fediverse account that is able to follow users, you can follow this user.
Javascript and not Coq?
https://www.swi-prolog.org/pldoc/doc_for?object=%23>%3D+%2F+2
It’s a better replacement for the built-in
>=predicate.