st/lama_byterun
1
0
Fork 0
mirror of https://github.com/ProgramSnail/Lama.git synced 2025-12-06 06:48:48 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

Doc on flatten

Browse source
This commit is contained in:
Dmitry Boulytchev 2020-08-23 00:18:53 +03:00
parent f08cd8396f
commit cbd715339f
3 changed files with 2 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

BIN
lama-spec.pdf
View file

Binary file not shown.

2
spec/06.standard_library.tex
View file

@ -335,7 +335,7 @@ fresh list if images in the same order.}
"\lstinline|Some (v)|" otherwise, where "\lstinline|v|"~--- the first value to satisfy "\lstinline|f|".
}
\descr{\lstinline|fun flatten (l)|}{Flattens a list of lists into a regular list. The order of elements is preserved in both senses.}
\descr{\lstinline|fun flatten (l)|}{Flattens an arbitrary nesting of lists into a regular list. The order of elements is preserved in both senses.}
\descr{\lstinline|fun zip (a, b)|}{Zips a pair of lists into the list of pairs. Does not work for lists of different lengths.}

2
src/version.ml
View file

@ -1 +1 @@
let version = "Version 1.00, 94e4b1626, Mon Aug 10 20:55:10 2020 +0300"
let version = "Version 1.00, f08cd8396, Sat Aug 22 20:11:41 2020 +0300"