mattmight

// ==UserScript==
// @name         Temporarily hide gmail inbox at first
// @namespace    http://matt.might.net/
// @version      0.1
// @description  Intended to prevent being distracted by your inbox if you meant to send an email or search your inbox. Mouse over the Gmail in upper left to make it re-appear.
// @author       Matt Might
// @match        https://mail.google.com/mail/u/0/
// @icon         https://www.google.com/s2/favicons?domain=google.com
// @grant        none
// ==/UserScript==

mattmight

#lang racket

(define verbose-mode (make-parameter #f))


(define input-file
  (command-line

   #:program "splain"

mattmight

#lang racket

; A simple CBV syntactic reduction machine for the lamda-calculus.

; + numbers

; <exp> ::= <var>
;        |  <num>
;        |  (λ (<var>) <exp>)
;        |  (+ <exp> <exp>)

mattmight

# Void

VOID = lambda void: void



# Booleans / Conditionals

IF = lambda c: lambda t: lambda f: c(t)(f)