Josef
Josef
The project looks very interesting. I was wondering whether it would be a good fit for my hobby purely functional language. But I could not find much information about the...
The current API of labeled graphs does not seem to capture the notion of disconnected components well. For example for `Graph Bool String`, both False / True and True /...
If I turn vim plugin on (all other plugins off), vscode starts to lag. There is a noticeable delay (0.1 sec) on every keyboard input.
I played with the online editor and wasn't very happy with the error messages. It seems to report only the name of the root rule: `expected bar`, while I would...
When the ES module option is active: ```scala scalaJSLinkerConfig ~= { _.withModuleKind(ModuleKind.ESModule) } ``` the js file obtained trough `fullOptJS` isn't minified and `project-opt.js` is only 3% smaller in size...
I benchmarked a code that allocates 1 million java objects with `env.new_method_unchecked`. To my surprise, the code took 500ms seconds to execute, which is 2x slower than equivalent c code...
Currently the intro doesn't explain: 1. Does production change over time? 2. Do all players move simultaneously? (Thus you can exchange position with other player next to you) 3. Does...
I have installed esy with npm `npm i -g esy`. However, running `esy` gives me ``` Fatal error: exception Unix.Unix_error(Unix.EUNKNOWNERR -123, "create_process", "C:\\Program Files\\??\\C\\Users\\BlaineMono\\AppData\\Roaming\\nvm\\v16.6.1\\node_modules\\esy\\3/i/esy-3dd856eb/bin/esy.exe") ```
I could not find a way to compute the size of a text in advance, without rendering it on screen. As far as I know, ImGui has a `CalcTextSize` function...
Running the example from `samples` shows both the imgui and glfw window. Similar to:  However, I believe that only the imgui `Hello, World` window should be visible by default....