| Name |
Last commit
|
Last Update |
|---|---|---|
| .. | ||
| concat.luca | ||
| curried_add.luca | ||
| even_odd.luca | ||
| exists.luca | ||
| flatten.luca | ||
| foldl.luca | ||
| foldr.luca | ||
| identity.luca | ||
| left_case.luca | ||
| length.luca | ||
| map.luca |
| Name |
Last commit
|
Last Update |
|---|---|---|
| .. | ||
| concat.luca | ||
| curried_add.luca | ||
| even_odd.luca | ||
| exists.luca | ||
| flatten.luca | ||
| foldl.luca | ||
| foldr.luca | ||
| identity.luca | ||
| left_case.luca | ||
| length.luca | ||
| map.luca |