Lef Ioannidis

Enable startAdvertising with both a region and a list of UUIDs

1

Hi BlueCapKit maintainer, The peripheralManager has two versions of the startAdvertising function, one takes in a beacon region as an argument and the other one takes a list of UUIDs...

Is there a way to indicate dependencies between routes? For example very often, visiting `/login` is required before `/logout`. There could also be dependencies between data, let's say you have:...

PG support for LEAN

2

It would be great to be able to run LEAN from Proof-General https://github.com/leanprover/lean https://leanprover.github.io/tutorial/

Feature: compile before require

1

Hello and thank you for maintaining VSCoq! This is either a question of "how do I do this" or a feature request. The feature is "Compile before require" as seen...

Here's the example, the failure at Equations seems like it should be a proof-obligation instead ``` From Coq Require Import Fin List Program. From Equations Require Import Equations. Notation fin...

Stand-alone with C++17 std library, no boost

7

I was wondering if there's any plan to making Mach7 stand-alone with the introduction of std::variant and std::visit in C++, in comparison to boost::variant currently used on master. I briefly...

I think it's useful to be able to visually track function combinators like $ and . I'd like to make them bold in Haskell files, is there an option for...

Seems to be a small fix to enableUTF-8 support which is the [default charset](https://graphviz.org/docs/attrs/charset/) for graphviz, I'll see if I can send a PR soon.

See #27