Denis Merigoux
|
cf31da7ca1
|
Remove limitation on Zarith since https://github.com/janestreet/zarith_stubs_js/pull/8 is closed
|
2021-10-18 09:58:47 +02:00 |
|
Denis Merigoux
|
8dbf034efc
|
Update generated assets
|
2021-10-11 17:41:20 +02:00 |
|
Denis Merigoux
|
b56299f3d3
|
Switch ocamlformat to 0.19.0
|
2021-08-19 11:35:56 +02:00 |
|
EmileRolley
|
6169d19b1e
|
feat(compiler): add collection concatenation operator
|
2021-07-08 16:27:46 +02:00 |
|
Denis Merigoux
|
9ef637a161
|
Print lists better
|
2021-06-26 18:13:13 +02:00 |
|
Denis Merigoux
|
0d54b39aa9
|
Logging in Python OK
|
2021-06-26 18:04:36 +02:00 |
|
Denis Merigoux
|
32c2e84a10
|
Improve Python library API
|
2021-06-26 17:12:15 +02:00 |
|
Denis Merigoux
|
61b84ed71b
|
Typo in README
|
2021-06-25 15:35:16 +02:00 |
|
Denis Merigoux
|
ae8ef08b81
|
Added more doc
|
2021-06-25 10:50:49 +02:00 |
|
Denis Merigoux
|
3d2f3497bc
|
Switch to benchmark
|
2021-06-25 00:56:08 +02:00 |
|
Denis Merigoux
|
03b44f5b15
|
Python backend debugged and tested
|
2021-06-25 00:47:12 +02:00 |
|
Denis Merigoux
|
e38dc4c728
|
Various bugfixing and improvements for the Python backend
|
2021-06-25 00:16:21 +02:00 |
|
Denis Merigoux
|
3f5027e5a5
|
Translation now typechecks
|
2021-06-24 22:55:27 +02:00 |
|
Denis Merigoux
|
95b34937a6
|
Switch to use Python enums as a tag for tagged unions
|
2021-06-24 21:55:20 +02:00 |
|
Denis Merigoux
|
fbf60b89bf
|
Fix lenght type mismatch
|
2021-06-24 21:32:09 +02:00 |
|
Denis Merigoux
|
8b956bf4fa
|
Missing cd
|
2021-06-24 18:27:02 +02:00 |
|
Denis Merigoux
|
ccf2bba79f
|
Executable permission for env setup
|
2021-06-24 18:21:21 +02:00 |
|
Denis Merigoux
|
0481181f92
|
Put mypy typing under CI
|
2021-06-24 18:18:25 +02:00 |
|
Denis Merigoux
|
817b1785df
|
Python translation working but still buggy
|
2021-06-24 17:50:08 +02:00 |
|
Denis Merigoux
|
015776270d
|
Compilation passing from lcalc to scalc
|
2021-06-24 14:52:51 +02:00 |
|
Denis Merigoux
|
fffd0ffb63
|
Working the way into the Python backend
|
2021-06-22 14:55:43 +02:00 |
|
Denis Merigoux
|
867126f8e4
|
Added module list for Python doc
|
2021-06-21 17:42:40 +02:00 |
|
Denis Merigoux
|
488baa9c5e
|
Wrap up runtime
|
2021-06-21 17:33:29 +02:00 |
|
Denis Merigoux
|
8c30e059a7
|
Add functions to runtime, doc setup
|
2021-06-21 16:51:02 +02:00 |
|
Denis Merigoux
|
db026c6720
|
Start to implement Python runtime
|
2021-06-21 12:31:46 +02:00 |
|
Denis Merigoux
|
392ca25093
|
Install JS dependencies correctly
|
2021-06-21 11:54:56 +02:00 |
|
Denis Merigoux
|
bbd50747d9
|
Big renaming and dir reorg
|
2021-06-21 11:39:06 +02:00 |
|