5 commits

Author	SHA1	Message	Date
Leonardo de Moura	20d6b9c4aa	doc: add new example	2022-07-09 17:04:08 -07:00
Leonardo de Moura	e81a847ba3	fix: doc/array.md	2022-07-02 15:36:01 -07:00
Kevin Buzzard	ee6a9e74e8	doc: fix typos (#379)	2021-04-30 19:36:30 +02:00
Leonardo de Moura	825bc3aa65	doc: array	2020-12-08 10:36:47 -08:00
Leonardo de Moura	1509a1ab18	doc: builtin types	2020-12-08 10:09:58 -08:00