michaelbeaumont

#!/usr/bin/env bash
set -ex

PACKAGES=(
    neovim-git
)

# All this is basically to get around makepkg calling pacman with sudo
# Otherwise we could just call `aur sync` and be done with it

michaelbeaumont

version: "3.8"
services:
  # all services share a networking namespace
  tailscale:
    restart: always
    # machine name
    hostname: passwords
    cap_add:
      - net_admin
    image: tailscale/tailscale:latest

michaelbeaumont

use std::io;
use std::net;

use native_tls::TlsConnector;
use futures::{Future, sink, Sink};
use futures::future::ok;
use tokio_core::io::{Io, Framed};
use tokio_core::reactor::Handle;
use tokio_core::net::TcpStream;
use tokio_proto::BindClient;

michaelbeaumont

{- Example of AVL trees by michaelbeaumont -}

{-@ LIQUID "--totality" @-}
module AVL (Tree, singleton, insert) where

-- Basic functions
{-@ data Tree [ht] a = Nil | Tree (x::a) (l::Tree a) (r::Tree a) @-}
data Tree a = Nil | Tree a (Tree a) (Tree a) deriving Show

{-@ measure ht @-}