Skip to content

Instantly share code, notes, and snippets.

View ajmcmiddlin's full-sized avatar

Andrew ajmcmiddlin

  • Brisbane, Australia
View GitHub Profile
{ nixpkgsFun ? <nixpkgs>, compiler ? "default", cross ? "" }:
let
pkgs = import nixpkgsFun {};
rpi = pkgs.lib.systems.examples.raspberryPi;
localSystem = pkgs.lib.systems.elaborate { system = builtins.currentSystem; };
crossSystem = if cross == "pi1" then rpi
else if cross == "" then null
else throw "Unknown cross target: " ++ cross;
@ajmcmiddlin
ajmcmiddlin / 20180305-YLJ-proposal.md
Last active March 11, 2018 23:55
My YLJ 2018 proposal for a talk on state machine property testing.

Hedgehog State Machine Testing

Category: Technique

Level: Intermediate

Session Type: Talk

Abstract

:{
let loadTests _ =
pure $ unlines [
":set -isrc"
, ":set -itest"
, ":l test/Test.hs"
, "import Hedgehog"
, "import WordPressTests"
, "env <- mkEnv"
]

Install the following packages

# For taffybar/applet icons
gnome2.gnome_icon_theme
hicolor-icon-theme

# To get "old style" tray icons visible --- provides xembed
plasma-workspace
@ajmcmiddlin
ajmcmiddlin / helix-numbered-list.md
Created January 20, 2023 00:35
Numbering bullet points in helix editor

Here's a way to number bullet points in helix.

Let's start with a bulleted list.

- Item one
- Item two over
  two lines
- Item three