Humza Shahid

I noticed this too (on macOS Ventura and Sonoma). I was wondering why I couldn't detect the ctrl-tab combo in my application, and some time later I tried the ImGui...

The program can be built with the following steps: 1. Saving the linked file (which is from a specific Git commit than the latest commit in that repository) 2. Adding...

@MatthewFluet Thanks for the detailed explanation and teaching something new about how MLton works. I was aware of some optimisation passes used (like defunctionalisation turning closures into sum types) but...

I think all of these are good suggestions and appreciate your rigorous standards. I'll have them implemented in the next few days hopefully.

Hi @gdziadkiewicz and thanks again for the feedback. (I personally think it's easier to reply "here" rather than you jumping up/down the page navigating to different comments, but let me...

I reviewed my code and compared it with the paper (and also with the Isabelle HOL proof linked below which corrects the paper in a couple of places) and made...

@gdziadkiewicz Got it working thanks to your help (haven't used FAKE/GitHub actions much before). Here's the action running successfully on my own fork: https://github.com/hummy123/FSharpx.Collections/actions/runs/3841007372/jobs/6540731078 . (Also updated FAKE as it...

@gdziadkiewicz No worries - appreciate your time. Anything that makes the code better and tests more resilient sounds good to me, so go ahead.

I've got all the tests passing in my repository (isEmpty, exists, notExists, tryFind, find, toList/Array/Seq, ofList/Array/Seq, fold/foldback, insert, delete) so this is all I'm waiting for before adding the structure...

Apologies for having put work on your plate over the weekend. 😅 No rush, but I appreciate it whenever you get there. Edit: I made a new and final commit...