Simon Beaumont

Support ONNX?

3

Any idea if this would be a feasible thing to do? Nice idea to specify, train and verify models in Haskell then export for runtime in embedded environment, mobile or...

Can't run interpreter with my GHC setup

7

How ever I build the back end, stack or cabal sandbox -- when I start the front end and ask for a new worksheet I get the following error: `...

hpack-convert won't build with LTS11.4

10

``` $ stack install hpack-convert Using latest snapshot resolver: lts-11.4 ``` /private/var/folders/30/9xrf_jtx7618zqb1pyd1wyh40000gp/T/stack40077/hpack-convert-1.0.1/src/Hpack/Util.hs:106:21: error: • Couldn't match type ‘[[FilePath]]’ with ‘([[FilePath]], b0)’ Expected type: IO ([[FilePath]], b0) Actual type: IO [[FilePath]]...

https://github.com/emacs-jupyter/jupyter/blob/b279c90295ed7ef89832d655cf8d9077233f1098/jupyter-mime.el#L425 These are a user customisable settings. I know that they are not now fully implemented in `org-process-latex` but that should change soon.

https://github.com/avigad/mathematics_in_lean_source/blob/3fa84e6b3135a3ae41edc6ca195abf0fb1ae3ac3/user_repo_source/README.md?plain=1#L43 https://github.com/leanprover/vscode-lean4/issues/444

For what it may be worth when working very long sessions playing in `utop`... and accumulating huge read-only `*utop*` buffer in emacs; I managed to make the following work without...