jmitchell

#! /usr/bin/env nix-shell
#! nix-shell -i bash -p elixir_1_8 erlang protobuf curl
#! nix-shell -I nixpkgs=https://github.com/NixOS/nixpkgs-channels/archive/nixos-19.03.tar.gz

## Adapted from directions at https://github.com/tony612/protobuf-elixir

# lives at ./script/protobuf_regenerate.sh

set -ex

jmitchell

#! /usr/bin/env nix-shell
#! nix-shell -i bash -p autoreconfHook python3 ncurses "(with haskellPackages; [ alex happy hscolour ])" "(with python36Packages; [ sphinx ])"
set -ex

REV=838aeb9b254efb3df7ed0cedeb945ec7c7789c90
BUILD_FLAVOUR=validate

THREADS=7
SKIP_PERF_TESTS=YES
VERBOSE=2

jmitchell

Hi Matt

jmitchell

{-

At the recent Seattle Haskell Learners' Group we touched on a common
programming bug, namely when a programmer mistakenly passes arguments
to a function in the wrong order. Let's consider an example of this
bug and ways to avoid it in Haskell.

Automated tests frequently need a mechanism to say, "the actual
computed value should equal some expected value." When the two values
differ the test framework should produce a useful message like,

jmitchell

let List/replicate = https://ipfs.io/ipfs/QmQ8w5PLcsNz56dMvRtq54vbuPe9cNnCCUXAQp6xLc6Ccx/Prelude/List/replicate in

let File = Natural in
let Rank = Natural in
let Square = { file : File, rank : Rank } in
let Move = { from : Square, to : Square } in

let Side = < white : {} | black : {} > in
let white = < white = {=} | black : {} > in
let black = < black = {=} | white : {} > in

jmitchell

#!/usr/bin/env bash
hash=`uuidgen -r | ipfs add -q`
url="https://ipfs.io/ipfs/$hash"
time curl "$url"
echo $url

jmitchell

-- TH expansions of `makeClassy` and `makeClassyPrisms`

data DbConfig = DbConfig
  { _dbConn :: DbConnection
  , _dbSchema :: Schema
  }

makeClassy ''DbConfig
{-
class HasDbConfig t where

jmitchell

Keybase proof

I hereby claim:

• I am jmitchell on github.
• I am jmitchell (https://keybase.io/jmitchell) on keybase.
• I have a public key whose fingerprint is 51EC DFAF 4AA3 1F42 A647 B8E3 E5A4 0FFC 0760 68CC

To claim this, I am signing this object:

jmitchell

import Data.List

data SetMap : List k -> Type -> Type where
  Empty : SetMap [] _
  Insert : DecEq k =>
           (key : k) ->
           v ->
           SetMap keys v ->
           {auto prf : isElem key keys = No _} ->
           SetMap (key :: keys) v

jmitchell

main: main.o hello.o
	gcc -o main main.o hello.o

main.o: main.asm
	nasm -felf64 -o main.o main.asm

hello.o: hello.c
	gcc -c -o hello.o hello.c

.PHONY: clean