intoverflow

########################################
#
# Repo layout
#
########################################

# README.md
# LICENSE
# CONFIGURE
# Makefile

intoverflow

/- WARNING: This file is auto generated.  Manual edits are not advised -/
import standard

import .enums

namespace cxx

namespace ast

inductive capCapture : Type :=

intoverflow

definition blocking_add (N₁ N₂ : ℕ) : ℕ := N₁ + N₂

theorem foo {N : ℕ} {a b : fin N}
    : a^.val + b^.val = b^.val + a^.val
:= nat.add_comm _ _

theorem bar {N : ℕ} (a : fin (nat.succ N)) (b : fin (N + 1))
    : a^.val + b^.val = b^.val + a^.val
:= by rw foo

intoverflow

*Main> runEmulator "Samples/Fib.asm" 100
(0,(Instr (Litl "fib"),[l 000000010001]))
(1,(Instr (Liti 0),[l 000000000000]))
(2,(Instr (Liti 0),[l 000000000000]))
(3,(Instr (Liti 0),[l 000000000000]))
(4,(Instr (Liti 0),[l 000000000000]))
(5,(Instr (Liti 1),[l 000000000001]))
(6,(Instr (Liti 1),[l 000000000001]))
(7,(Instr (Liti 5),[l 000000000101]))
(8,(Instr (Liti 0),[l 000000000000]))

intoverflow

// ==UserScript==
// @name           VLCGOMGreaser
// @namespace      brok3r.org
// @description    Get VLC link from GOMTV SQLive
// @include        http://www.gomtv.net/*
// ==/UserScript==

//

/* Discussion.  10 Jan 2010

intoverflow

all: phreebird phreeload ldns_chase unbound_trace

VERSION=1.021

INSTALLDIR=$(PWD)/dist
BIN=$(INSTALLDIR)/bin
LIB=$(INSTALLDIR)/lib
INCLUDE=$(INSTALLDIR)/include

CC=gcc -I"$(INCLUDE)" -O2 -g -DPB_VERSION="\"$(VERSION)\"" -L"$(LIB)" -L/usr/local/lib -Xlinker -R"$(LIB)" -Xlinker -R/usr/local/lib

intoverflow

{-# LANGUAGE
	UndecidableInstances,
	FlexibleInstances,
	MultiParamTypeClasses,
	EmptyDataDecls,
	TypeFamilies #-}
module Physics (Physicsable) where

import Data.Maybe