Index of /ipfs/QmdtKd5Q7tebdo6rXfZed4kN6DXmErRQHJ4PsNCtca9GbB/Prelude/Natural
 
..
 
build 547 B
 
enumerate 951 B
 
even 189 B
 
fold 847 B
 
isZero 199 B
 
odd 183 B
 
package.dhall 251 B
 
product 393 B
 
show 258 B
 
sum 372 B
 
toInteger 203 B