Module fungi_lang::examples::pure_list_nat [−][src]
Lists of natural numbers, without names, and with pure operations.
Modules
dynamic_tests | |
static_tests | |
trapdoor |
Functions
fgi_module |
Lists of natural numbers, without names, and with pure operations.
dynamic_tests | |
static_tests | |
trapdoor |
fgi_module |