Prelude
Definitions of basic functions for natural numbers and (potentially infinite) lists.
Copyright (c) 2024 - Eindhoven University of Technology, The Netherlands
This software is made available under the terms of the MIT License.
Definitions of basic functions for natural numbers and (potentially infinite) lists.
Copyright (c) 2024 - Eindhoven University of Technology, The Netherlands
This software is made available under the terms of the MIT License.