Danielle Church
Danielle Church
This adds intellisense support in VS Code, which is always nice.
These operations (split diff, diff+intersection) felt like they were missing in the ordsets library. ord_partition/5, in particular, is a generalization of a number of different ordsets predicates; if it were...
This adds a new flag, `auto_name_variables`, that controls an implementation of a new portray hook to customize how variables are printed. Before and after: ```prolog ?- L=[_,_,_], member(X, L). L...
Most validation keywords apply to only one of the basic types, so a "string" type and an "array" type can share a definition without colliding as a ["string", "array"] type,...
In case you want to pull in the project updates prior to any of the other work!
I'm currently working on writing a parser for Microsoft's [NRBF](https://winprotocoldoc.blob.core.windows.net/productionwindowsarchives/MS-NRBF/%5bMS-NRBF%5d.pdf) serialization format, which is the format that the [`BinaryFormatter`](https://docs.microsoft.com/en-us/dotnet/api/system.runtime.serialization.formatters.binary.binaryformatter) class serializes into. It is ([ill-advisedly](https://docs.microsoft.com/en-us/dotnet/standard/serialization/binaryformatter-security-guide)) used as a form of...
Just thought I'd let you (for all values of "you") know I'm working on incorporating the huge changes to the Ghidradecompiler protocol that dropped in 10.2. So, just in case...
I recently had a brainstorm for a TC39 proposal, and if it's not too much trouble I'd like to know if the Pipeline champions think, as I do, that it...