strega-nil

[aliases]
range-diff = ["util", "exec", "--", "sh", "-c", '''
if [ "x$1" = "x" ]; then
  echo "jj range-diff requires at least one argument" 1>&2
  exit 1
fi
old_commit="$1"
trunk=`jj log -r "trunk()" -T commit_id --no-graph`
current=`jj log -r HEAD -T commit_id --no-graph`
git range-diff "$trunk..$old_commit" "$trunk..$current" | awk -f "$HOME/projects/dotfiles/scripts/range-diff.awk"

strega-nil

{ =: [A: Type, a: A, b: A :: Type],
    refl: [A: Type, a: A :: (= a a)],
  (. dependent pair .)
  DPair: [A: Type, B: [_: A :: Type] :: Type],
    dpair: [A: Type, B: [_: A :: Type], a: A, b: (B a) :: (DPair A (B a))],
    dfst: [A: Type, a: A, B: [_: A :: Type], pr: (DPair A (B a)) :: A],
    dsnd: [A: Type, a: A, B: [_: A :: Type], pr: (DPair A (B a)) :: (B a)],
  Int: Type,
    0: Int,
    s: [_: Int :: Int],

strega-nil

\usepackage{fancyhdr}
\usepackage{extramarks}
\usepackage{amsmath}
\usepackage{amsthm}
\usepackage{amsfonts}
\usepackage{amssymb}
\usepackage[plain]{algorithm}
\usepackage{algpseudocode}
\usepackage[english]{babel}
\usepackage{enumitem}

strega-nil

cmake_minimum_required(VERSION 3.14)

project(myproj C)

set(CMAKE_DEBUG_POSTFIX "d")
include(GNUInstallDirs)

file(GLOB_RECURSE mylib_sources CONFIGURE_DEPENDS include/*.h src/lib/*.c)
add_library(mylib ${mylib_sources})
add_library(myproj::mylib ALIAS mylib)

strega-nil

// To the extent possible under law, Nicole Mazzuca has waived all copyright and related or neighboring rights to properties.cxx. 

#include <utility>
#include <stddef.h>

// MUST be marked with [[no_unique_address]]
template <class Get>
struct Property {
	using containing_type = typename Get::containing_type;

strega-nil

I'd just like to interject for a moment.
What you're referring to as WSL, is in fact, GNU/NT,
or as I've recently taken to calling it, GNU plus NT.
WSL is not an operating system unto itself, but rather
another free component of a fully functioning GNU system
made useful by the GNU corelibs, shell utilities and
vital system components comprising a full OS as defined by POSIX.

Many computer users run a modified version of the GNU system
every day, without realizing it. Through a peculiar turn of events,

strega-nil

#pragma once

#include "nanorange.hpp"
#include "utility.h"

namespace ublib {

template <typename... Iterables>
class chain_iterator {
  template <typename Iterable>

strega-nil

// written by Gathros, modernized by Nicole Mazzuca.

#include <complex>
#include <vector>
#include <array>
#include <cstdint>
#include <algorithm>

// These headers are for presentation not for the algorithm.
#include <random>

strega-nil

no separator:
  - ccase
    * C Standard Library (memcpy, memmove)
  - SCREAMINGCCASE
    * NEED EXAMPLES
  - PascalCase
    * Java types (StringBuffer)
  - camelCase
    * Java values (lastIndexOf)
underscore separator: