Alessandro Cheli

Integrate with completion menu

1

By now I have disabled auto expansion and I've mapped `: snippets-menu/` to a key to have a fast way to open up a snippet search-and-insert menu. Could it be...

Add an option to share boards with other users.

2

I've noticed that it's possible to add multiple users to boards by editing the mongodb documents. My suggestions: * Add an `owner` attribute to the board schema. * The owner...

Add .env boolean variables to disable login options.

3

It would be really useful to add these optional env variables to disable/enable certain login options. ``` ENABLE_GUEST_LOGIN=false # Set to true by default ENABLE_GOOGLE_LOGIN=false # Set to true by...

Scientifical Computing

5

- [x] Choose an arbitrary precision math library and use it (owl) - [ ] Natural Logarithm and with base - [x] Constants - [X] Fixed size homogeneous vectors -...

See: https://github.com/pqwy/unmark

If a function in minicaml is pure and does only numerical computations, it should be (possibly) integrable or differentiable. Differentiation should be straightforward to implement, it should be an interpretation...

exceptions should be values, but they should float towards the top.