List of steps to reproduce (step by step, including full links if applicable):
- Create a function Negation with an implementation composition if x then false else true
- Created a function "Not empty"
- Create an implementation, composing Negation and Empty
- Run that on an empty list, it correctly returns false
- Run that on a non-empty list
I will update this bug with links to notwikilambda having this implemented once T289682 is resolved
What happens?:
I get an error saying Z8K4 did not contain a valid implementation
What should have happened instead?:
true
Software version (if not a Wikimedia wiki), browser information, screenshots, other information, etc: