andy-morris

#[derive(Clone, Copy)]
struct Op(fn(u16, u16));

// lets you call foo() instead of foo.0() (where foo: Op)
impl std::ops::Deref for Op {
    type Target = fn(u16, u16);
    fn deref(&self) -> &fn(u16, u16) { &self.0 }
}

fn op_mov(one: u16, two: u16) {

andy-morris

module HSubst

%default total

infixr 0 >>>
data Ty = O | (>>>) Ty Ty
%name Ty a, b, c

namespace Ctx
  data Ctx = Nil | (::) Ty Ctx

andy-morris

ident = tok.ident[&make_id];

id_expr      = ident[&make_id_expr];
int_expr     = tok.int_[&make_int_expr];
paren_expr  %= '(' > expr > ')';
atomic_expr %= id_expr | paren_expr;

lam_expr = ("fn" > ident > "=>" > expr)[&make_lam_expr];
app_expr = (+atomic_expr)[&make_app_expr];

andy-morris

Keybase proof

I hereby claim:

• I am andy-morris on github.
• I am anders_ (https://keybase.io/anders_) on keybase.
• I have a public key whose fingerprint is F959 A1BE B2A4 90FB 717B 3A16 6F5E 66A3 C97A 20A9

To claim this, I am signing this object:

andy-morris

import Graphics.Gloss
import Graphics.Gloss.Interface.Pure.Game

main = play w white 60 st0 draw ev advance

w = InWindow "a boring game." (640,480) (30,30)

data State = State {s, x, y, ds, dx, dy :: Float}

st0 = State 10 30 30 0 0 0

andy-morris

#!/usr/bin/env zsh

cd $STOW_DIR
if [[ -a $1 ]]; then
  echo "$1 already exists in stowland!"
  exit 1
fi

mkdir $1
cd $1

andy-morris

-- WIP


{-# LANGUAGE DataKinds, GADTs, KindSignatures, TemplateHaskell,
             ScopedTypeVariables, FlexibleContexts, FlexibleInstances,
             UndecidableInstances, QuasiQuotes, RecordWildCards,
             TypeOperators #-}
module Data.Record.TL (
    type Label(..), l, label, labels,
    type Record(..), type (:=), type Field(..), (&),

andy-morris

remote-repo: hdiff.luite.com:http://hdiff.luite.com/packages/archive

andy-morris

#!/usr/local/bin/zsh

if [[ -d ./cabal-dev ]]; then
  ignoreflags=('-O.*' --make -debug -threaded -ticky '.*\.hs' -prof)
  ignorere="/^(${(j'|')ignoreflags})\$/"

  argflags=(-package-name -package-conf -odir -hidir -stubdir -package-id)
  argre="/^(${(j'|')argflags})\$/"

  output=`cabal-dev buildopts` || exit 1

andy-morris

class Foo {
  static void println(String s) { System.out.println(s); }
  public static void main(String args[]) {
    println("A");
    foo: {
      println("B");
      if (true) break foo;
      println("C");
    }