Pajexali

CVE.js updates

2

This PR provides the latest updates from the [CVE.js project](https://github.com/xdrr/cve.js): - API updates and improvements - Event notification system for inter-tab notifications More information can be found on the [CVE.js...

Fixed missing net/http

5

## The Issue The `azure_activedirectory.rb` strategy in this project does not include the `net/http` library but uses it heavily. On Ubuntu 16+, Ruby 2.5, authentication attempts fail because of this...

Adds mrec and interp combinators to itreeTauTheory

4

This change introduces the `mrec` and `interp` combinators to `itreeTauTheory`. The mrec combinator is used extensively in the Pancake itree semantics.