cogumbreiro

evdev:input:b*v0B05p193Ee0111*
  KEYBOARD_KEY_10081=reserved
  KEYBOARD_KEY_10082=reserved

cogumbreiro

Goal 1 > 0.
  apply le_n.
Qed.

Goal forall n, S n > 0.
  (* What is gt? *)
  Print gt.
  (*
    gt = fun n m : nat => m < n
     : nat -> nat -> Prop

cogumbreiro

name: Example 4
source code: |

  input: '0011'
  blank: ' '
  start state: S

  table:
    S:
      0: {R: accept}

cogumbreiro

name: Even length
source code: |

  input: '0111'
  blank: ' '
  start state: A

  table:
    A:
      [0,1]: {R: B}

cogumbreiro

name: Example 3
source code: |

  input: 'aabbcc'
  blank: ' '
  start state: S

  table:
    S:
      'x': {R: S}

cogumbreiro

name: Example 2
source code: |

  input: '0011'
  blank: ' '
  start state: S

  table:
    S:
      0: {write: 'x', R: B}

cogumbreiro

name: Example 1
source code: |

  input: '01110'
  blank: ' '
  start state: S

  table:
    S:
      0: {write: 'x', R: B}

cogumbreiro

// ==UserScript==
// @name           Google Search / Outlook /Gmail Unmangler
// @namespace      URLUnmangle
// @description    Gmail / Google Search URLs
// @include        http://google.tld/*
// @include        http://www.google.tld/*
// @include        https://mail.google.tld/*
// ==/UserScript==

var URLUnmangle = {};

cogumbreiro

module Main where

import Prelude
import Data.Set as S
import Control.Monad.Eff (Eff)
import Control.Monad.Eff.Console (CONSOLE, log)
import Data.Set (Set, empty)

type Task = Int
type Spawns = Set Task

cogumbreiro

import java.util.concurrent.Executors;
import java.util.concurrent.ScheduledExecutorService;
import java.util.concurrent.TimeUnit;
import java.util.logging.Level;
import java.util.logging.Logger;

public class PrintMemoryUsage implements Runnable {

	private final Logger log = Logger.getLogger("GORN");
	private final Level level;