Leonardo de Moura
|
2fd024c26f
|
feat: add support for foldlM, foldl, ForIn instances for byte/float arrays
|
2021-10-18 16:54:56 -07:00 |
|
Leonardo de Moura
|
d03aaec944
|
feat: expose new float/byte array primitives
|
2021-10-18 16:54:56 -07:00 |
|
Leonardo de Moura
|
f4a7ffd8c8
|
chore: fix codebase and tests
|
2021-06-29 17:14:52 -07:00 |
|
Leonardo de Moura
|
0869f38de4
|
chore: update structure, class, inductive
|
2020-11-27 15:09:30 -08:00 |
|
Leonardo de Moura
|
10c32fcf94
|
chore: HasToString => ToString
|
2020-10-27 16:11:48 -07:00 |
|
Leonardo de Moura
|
13c2a8ff51
|
chore: remove #lang lean4 header
|
2020-10-25 09:54:07 -07:00 |
|
Leonardo de Moura
|
7dfff63db6
|
chore: move to new frontend
|
2020-10-23 17:15:05 -07:00 |
|
Leonardo de Moura
|
603f2dee73
|
fix: unnecessary get!
|
2020-09-08 13:15:57 -07:00 |
|
Leonardo de Moura
|
e22af8d1ef
|
feat: add FloatArray
cc @dselsam
|
2020-04-07 18:05:54 -07:00 |
|