buggymcbugfix

Writing a paper, according to SPJ

Source: https://www.cis.upenn.edu/~sweirich/icfp-plmw15/slides/peyton-jones.pdf

1. Abstract (4 sentences, write last; used by program committee members to decide which papers to read)
   1. State the problem
   2. Say why it’s an interesting problem
   3. Say what your solution achieves
   4. Say what follows from your solution
2. Introduction (1 page)

buggymcbugfix

-- Kudos to Dominic Orchard

{-# LANGUAGE InstanceSigs #-}
{-# LANGUAGE GeneralizedNewtypeDeriving #-}

-- P is contravariant in a
-- P is covariant in b

data P a b = P (a -> b)

buggymcbugfix

#!/usr/bin/env stack
{- stack script
  --resolver nightly-2018-11-23
  --package sbv
-}

{-# LANGUAGE DeriveAnyClass  #-}
{-# LANGUAGE DeriveGeneric   #-}
{-# LANGUAGE BlockArguments  #-}

buggymcbugfix

Sexy Chicken Schnitzel

• 2 chicken breasts (schnitzel sliced)
• Herb rub
  • Handful Parsley
  • Handful Coriander
  • 1/2 Green chilli (without the seeds)
  • 2 cloves of garlic
  • thumb of ginger
• 2 tsp harissa

buggymcbugfix

{"lastUpload":"2022-02-23T08:24:19.468Z","extensionVersion":"v3.4.3"}

buggymcbugfix

{-# lAnGuAgE DataKinds              #-}
{-# LaNgUaGe FlexibleInstances      #-}
{-# lAnGuAgE FunctionalDependencies #-}
{-# LaNgUaGe KindSignatures         #-}
{-# lAnGuAgE TypeFamilies           #-}
{-# LaNgUaGe TypeOperators          #-}
{-# lAnGuAgE UndecidableInstances   #-}
module Commit where

import Data.Kind (Constraint, Type)

buggymcbugfix

Keybase proof

I hereby claim:

• I am buggymcbugfix on github.
• I am buggymcbugfix (https://keybase.io/buggymcbugfix) on keybase.
• I have a public key ASA_Ar84jtYMoLEOldsPGc2u1osS7Lph38hEgrqjIrPCzgo

To claim this, I am signing this object:

buggymcbugfix

-- Connect to FortiClient VPN. Uses of `delay` here are nothing short of an ugly HaCk.
-- You may need to adjust the delays to work on your system. Also make sure with your
-- sysadmin that it is ok to hard-code your password (see below*) as THIS IS NOT SECURE.
-- !!!USE THIS SCRIPT AT YOUR OWN RISK!!!

-- trick taken from [1] to avoid long GUI delay
ignoring application responses
	tell application "System Events" to tell application process "FortiClientAgent"
		click menu bar item 1 of menu bar 2
	end tell