Jake Waksbaum

Use Haskell type system to represent GraphQL types

5

I'm not sure if this is the appropriate place to ask this question, but would it be possible to use Haskell's type system itself to represent custom GraphQL types instead...

src/freon.c: Check before extracting mode in open

4

Fixes #3140

# Description =3.0.4 Downloading chardet-4.0.0.tar.gz (1.9 MB) Saved /tmp/tmp30ujjep5/downloads/chardet-4.0.0.tar.gz Collecting click>=6.7 Downloading click-8.0.3.tar.gz (329 kB) Saved /tmp/tmp30ujjep5/downloads/click-8.0.3.tar.gz Collecting numpy>=1.13.3 Downloading numpy-1.21.5.zip (10.7 MB) Installing build dependencies: started Installing build dependencies:...

I've found useful the property that for integers, `unsigned` is injective: ```coq Lemma unsigned_inj : forall x y : int, unsigned x = unsigned y -> x = y. ```

Remove import path checking

1

As raised in #3, right now this project can't be used without Go modules because of the presence of these [import comments](https://pkg.go.dev/cmd/go#hdr-Import_path_checking), in contrast with what is described in the...

Include minor modes

5

This allows you to use `evil-leader/set-key-for-mode` to set minor-mode specific maps. I think this also addresses #27.

Git dependencies with workspaces are not supported

1

If you try to build a project that uses dependencies from a git repository, and that git repository contains multiple crates using a Cargo workspace, you You can reproduce this...

forkProcess fails with +RTS -N

8

I have a program in which I use `forkProcess`. When it is run with `-threaded +RTS -N1`, it works fine, but when I use `-threaded +RTS -N2` I get this...

Use Defined for EqDec instances instead of Qed

1

As described in PrincetonUniversity/VST#290, the use of `Qed` when creating typeclass instances makes it so that you can't evaluate expressions using the typeclass: ```coq Compute 1 ?= 1. = (let...

Drop tokio dependency

6

Now that hyper uses its own traits instead of tokios (#3110, #3230), the only place that tokio is used is to provide `tokio::sync::oneshot::Receiver` in `src/upgarde.rs`. If we could find a...