beastaugh

<?php
/*
Plugin Name: Custom Header Resize
Plugin URI: http://tarskitheme.com/
Description: Change your theme's custom header size.
Author: Benedict Eastaugh
Version: 1.0
Author URI: http://extralogical.net/
*/

beastaugh

/**
 * The Fibonacci numbers in JavaScript.
 *
 * A cached solution with O(1) lookup for previously-calculated terms and O(N)
 * lookup for uncalculated ones.
 *
 * Because numbers in JavaScript are 64bit, the largest available number is
 * 1.7976931348623157e+308. The 1476th term is the last that can be calculated.
 * If a later term is requested, the function will return Infinity.
 *

beastaugh

@book { girard1989,
        author       = "Jean-Yves Girard and Yves Lafont and Paul Taylor",
        title        = "Proofs and Types",
        publisher    = "Cambridge University Press",
        year         = "1989",
        isbn         = "978-0521371810" }

@book { barendregt1984
        author       = "Henrik P. Barendregt",
        title        = "The Lambda Calculus: Its Syntax and Semantics",

beastaugh

module Main (main) where

main :: IO ()
main = putStr . unlines . take 100 $ fizzBuzz

fizzBuzz :: [String]
fizzBuzz = map (either show id . fizzes) [1..]

fizzes :: Int -> Either Int String
fizzes n | 15 `divides` n = Right "FizzBuzz"

beastaugh

<?php
/*
	This file was written by Corsix, no copyright is claimed.
 	The file is in the public domain; do with it what you wish.
 	
 	Updated November 16th 2006: Updated documentation and example code, patch 1.3 support, bugfixes
	10 April 2010 - Benneb: Made script compatible with COH patch 2.601
*/

// Manages a Company of Heroes .REC (replay) file

beastaugh

<?php
/*
Plugin Name: Hidden Comment Form
Plugin URI: http://tarskitheme.com/help/hooks/example-plugins/
Description: Hide the comment form until the user clicks a link to reveal it.
Author: Benedict Eastaugh
Version: 1.1
Author URI: http://extralogical.net/
*/

beastaugh

<?php
/*
Plugin Name: Hide Author Names in Tarski
Plugin URI: http://tarskitheme.com/help/hooks/example-plugins/
Description: Hide post and page author names in the Tarski theme.
Author: Benedict Eastaugh
Version: 1.0
Author URI: http://extralogical.net/
*/

beastaugh

module Data.Logic.Propositional.Parser2 where

import Data.Logic.Propositional

import Text.Parsec.Prim ((<|>), (<?>), runPT)
import Text.Parsec.Char (char, letter, spaces, string)
import Text.Parsec.Expr

parseExpr' = runPT expr ()

beastaugh

<?php
/*
Plugin Name: Move Comment Link
Plugin URI: http://tarskitheme.com/help/hooks/example-plugins/
Description: Move the Tarski theme's comments link from the post metadata to the end of the post.
Author: Benedict Eastaugh
Version: 1.0
Author URI: http://extralogical.net/
*/

beastaugh

Q. What is the weakest system that proves Dedekind's categoricity theorem for second-order arithmetic?

In his classic essay 'Was sind und was sollen die Zahlen?', Dedekind proved the categoricity of the second-order Peano axioms, i.e. that all simply infinite systems---in modern terminology, models of those axioms---are isomorphic to one another. This proof was carried out in Dedekind's informal system of set theory.

Feferman and Hellman (1995) carried out a proof of this result in their system EFSC, the "Elementary theory of Finite Sets and Classes". This system has an