Leonardo de Moura 0f43c2e2d9 feat(library/init/data/array/basic): efficient heterogeneous Array.map ... This commit also removes Array.hmap. Motivation: I wanted to use Array.hmap as an example in the paper, but I found it would be too distracting to explain why we had `Array.hmap` and `Array.map`. cc @kha		2019-05-25 16:32:59 -07:00
..
compiler	feat(library/init/data/array/basic): efficient heterogeneous Array.map	2019-05-25 16:32:59 -07:00
ir	chore(tests): port tests, fix at least compiler tests	2019-03-21 15:11:05 -07:00
lean	chore(tests/lean/run/rc_tests): fix test	2019-05-22 18:46:30 -07:00
playground	test(tests/playground/deriv): implement count using UInt32	2019-05-25 05:56:44 -07:00