| Definition Domain (A : Type) := A → Prop. | |
| Axiom Domain_irrelevance : | |
| ∀ {A : Type} (P : Domain A) (x : A) (H1 H2 : P x), H1 = H2. | |
| Program Definition Par : Category := {| | |
| obj := Type; | |
| hom := fun A B => { D : Domain A & ∀ x : A, D x → B }; | |
| homset := fun P Q => {| | |
| equiv := fun '(Df; f) '(Dg; g) => |
| #include <stdio.h> | |
| #include <math.h> | |
| #define BUG_ON_GCC | |
| #ifdef BUG_ON_GCC | |
| __attribute__((noinline)) | |
| #else | |
| inline __attribute__((always_inline)) | |
| #endif | |
| double safe_pow( |
| CREATE TABLE | |
| blocks | |
| ( | |
| chainid BIGINT NOT NULL, | |
| creationtime TIMESTAMP(6) WITH TIME ZONE NOT NULL, | |
| epoch TIMESTAMP(6) WITH TIME ZONE NOT NULL, | |
| flags NUMERIC(20,0) NOT NULL, | |
| hash CHARACTER VARYING NOT NULL, | |
| height BIGINT NOT NULL, | |
| miner CHARACTER VARYING NOT NULL, |
| Require Coq.FSets.FSetCompat. | |
| Require Coq.FSets.FMapPositive. | |
| Require Coq.FSets.FMapWeakList. | |
| Require Coq.FSets.FMapFacts. | |
| Require Coq.FSets.FSetProperties. | |
| Require Coq.FSets.FMapList. | |
| Require Coq.FSets.FMapAVL. | |
| Require Coq.FSets.FSetEqProperties. | |
| Require Coq.FSets.FSetList. | |
| Require Coq.FSets.FSetDecide. |
| Vulcan ~ $ wget -4 http://www.opensource.apple.com/tarballs/bootstrap_cmds/bootstrap_cmds-121.tar.gz | |
| --2022-11-14 11:25:59-- http://www.opensource.apple.com/tarballs/bootstrap_cmds/bootstrap_cmds-121.tar.gz | |
| Resolving www.opensource.apple.com (www.opensource.apple.com)... 17.253.5.206, 17.253.1.202, 17.253.5.202, ... | |
| Connecting to www.opensource.apple.com (www.opensource.apple.com)|17.253.5.206|:80... connected. | |
| HTTP request sent, awaiting response... 302 Redirect | |
| Location: https://opensource.apple.com/tarballs/bootstrap_cmds/bootstrap_cmds-121.tar.gz [following] | |
| --2022-11-14 11:25:59-- https://opensource.apple.com/tarballs/bootstrap_cmds/bootstrap_cmds-121.tar.gz | |
| Resolving opensource.apple.com (opensource.apple.com)... 17.253.5.206, 17.253.1.202, 17.253.5.202, ... | |
| Connecting to opensource.apple.com (opensource.apple.com)|17.253.5.206|:443... connected. |
| { | |
| description = "Kadena's Pact smart contract language"; | |
| inputs = { | |
| nixpkgs.url = "github:NixOS/nixpkgs?rev=7a94fcdda304d143f9a40006c033d7e190311b54"; | |
| # nixpkgs.follows = "haskellNix/nixpkgs-unstable"; | |
| haskellNix.url = "github:input-output-hk/haskell.nix"; | |
| flake-utils.url = "github:numtide/flake-utils"; | |
| }; |
| { compiler ? "ghc8107" | |
| , rev ? "7a94fcdda304d143f9a40006c033d7e190311b54" | |
| , sha256 ? "0d643wp3l77hv2pmg2fi7vyxn4rwy0iyr8djcw1h5x72315ck9ik" | |
| , pkgs ? | |
| import (builtins.fetchTarball { | |
| url = "https://github.com/NixOS/nixpkgs/archive/${rev}.tar.gz"; | |
| inherit sha256; }) { | |
| config.allowBroken = false; | |
| config.allowUnfree = true; | |
| } |
| args@{ pkgs ? null }: | |
| import ./default.nix (args // { returnShellEnv = true; }) |
| Vulcan ~ $ NIX_PATH=/Users/johnw/.nix-defexpr/channels:darwin=/Users/johnw/src/nix/darwin:darwin-config=/Users/johnw/src/nix/config/darwin.nix:hm-config=/Users/johnw/src/nix/config/home.nix:home-manager=/Users/johnw/src/nix/home-manager:localconfig=/Users/johnw/src/nix/config/vulcan.nix:nixpkgs=/Users/johnw/src/nix/nixpkgs:ssh-auth-sock=/Users/johnw/.config/gnupg/S.gpg-agent.ssh:ssh-config-file=/Users/johnw/.ssh/config nix build --option build-use-substitutes true --option require-sigs false --keep-going -f '<darwin>' system --dry-run 2>&1 | head -20 | |
| these 902 derivations will be built: | |
| /nix/store/va7yicma1wgv2zkaqhk5mz6bkrpqsj59-nix-prefetch-git.drv | |
| /nix/store/00qpa0mr1h961wriw1l8nqv5ra3l7d6s-nix-prefetch-scripts.drv | |
| /nix/store/g0q5xjwvbvf299pzl9xl6awgi5mvzn61-erc-28.2.drv | |
| /nix/store/0355r78ww87l0wj6f08piwri9ikm5whi-emacs-ledger-mode-20220623.1125.drv | |
| /nix/store/jzlaw4fla8f09vgf8z3jm828nra7877f-emacs-28.2.drv | |
| /nix/store/05bsc5bhgji6a4x01n55bjd6ahwk17qk-emacs-loop-20160813.1407.drv | |
| /nix/store/05 |
Hi John, here is the body of the post:
{
"msg": "97f256cd7458cb243a96c3a42133b601baf99ad34a9b07b3e017196b0e94e629",
"pubkeys": [
"1d67370eae37006d3f67ede5a66edd7ddbe9cc51da8b2e25f47d8bad9a4bbdd1",
"3b8183064eedfcf31360196bd1087be6557060bd690378e66d4f4624cd79592c",
"ed45183a235f83aeda8e3dce3c292d016fec06fb4fdaba47f8cc45877d61377b",
"7a10c0c4662e3b518c34ba10c3761733007da2b8fa48700c806aea04fbf4d368",