John Wiegley

Some lensy bits for your review

3

I've found these useful as a UI for `fastsum` in my lens-oriented code: ```haskell {-# LANGUAGE AllowAmbiguousTypes #-} {-# LANGUAGE ConstraintKinds #-} {-# LANGUAGE DataKinds #-} {-# LANGUAGE FlexibleContexts #-}...

Fixes #61

Why does Parsec change the fixity of `<|>`?

3

In `Control.Applicative`, `` is defined as having fixity `infixl 3`, but in Parsec it is defined as `infixr 1`. Is there a reason for this difference? Should Parsec be changed...

http://hackage.haskell.org/package/hlibgit2

Problem with bind and contexts

6

I have the following code right now: ``` ocaml Require Import Category. Require Import Sized. Require Import Combinators. Require Import Numbers. Require Import NEList. Require Import Coq.NArith.NArith. Require Import Coq.QArith.QArith....

Change needed to build on macOS 10.15

1

Note that I'm well aware I am editing a file that asks not to be modified, but Obelisk gives us no other way to vary the resolution of the thunk,...

Ability to submit proposals using only quill

2

# Description This changes allows one to submit motion proposal directly using quill, rather than having to involve dfx. Usage: ``` quill neuron-manage --proposal-title "" --proposal-summary-file " ``` # How...

Update default.nix: Nix pin = 22.05, quill = 0.2.17, ic = c7c002

2

# Description This updates the Nix support to more recent versions. # How Has This Been Tested? I was able to use `nix-shell` and `cargo test` again on my local...

Support multiple authentication methods

5

Right now we use PEM files to provide an identity for signing requests, but we'd also like to support NitroHSM (for node providers) and the Ledger Nano, and then possibly...