Troupe
Troupe copied to clipboard
Troupe programming language
Added following functions to list library: contains filter first slice insert_at_index
It would be convenient for TroupeCheck to have a function that can create a tuple of values, given a list of values
This has been spotted by one of the students during LBS 2024 Troupe lecture. We're currently inconsistent when it comes to serializing built-ins. For example, the following is OK ```...
We currently use yarn v1 (aka classic). The main reason why yarn was introduced was to support node-module patches as we were uncovering various networking bugs in the p2p layers....
send currently does not raise the blocking label with the level of the value being sent (ditto for the pid). this is likely unsound.
That script has only been tested with several --include statements and does not work with a single --include.
Currently, on Linux, relay lookup via dns is not working. We're hardcoding the IP address. It'd be good to identify the root of the issue.
We currently rely on the chalk library to auto detect TTY color support. It'd be good to have an explicit option to control this in the future.
At the moment, IR optimizations are disabled, because they introduce semantic bugs that change failure behavior of the programs – programs that fail without optimizations may succeed with them. The...