andrewjpritchard

fn lchild(root: usize) -> usize {
    root * 2 + 1
}

fn rchild(root: usize) -> usize {
    root * 2 + 2
}

fn biggest_child<T: Ord>(slice: &mut [T], root: usize) -> Option<usize> {
    let lchild = lchild(root);

andrewjpritchard

type Fix<A> = (arg: Fix<A>) => A

type Unit = <T>(
  unit: () => T
) => T;

type Bool = <T>(
  $true: () => T,
  $false: () => T,
) => T;

andrewjpritchard

((
  log: (str: string | number) => void,
  join: (a: string, b: string) => string,
  fizz: string, 
  buzz: string,
  zeroNative: number, 
  succNative: (n: number) => number, 
) => {
    type Boolean = <T>(
      $true: () => T,