bishboria

These links no longer work. Springer have pulled the free plug.

Graduate texts in mathematics

duplicates = multiple editions

A Classical Introduction to Modern Number Theory, Kenneth Ireland Michael Rosen

A Classical Introduction to Modern Number Theory, Kenneth Ireland Michael Rosen

bishboria

package ca.jbrains.pos.test;

import static org.junit.Assert.*;

import java.util.*;

import org.junit.*;

public class SellOneItemTest {
	private Display display;

bishboria

-- This was an exercise: to encode _×_≡_ using _+_≡_
module Multiplication where

open import Data.Nat using (ℕ; suc; zero)

-- Addition encoded as a type
data _+_≡_ : ℕ → ℕ → ℕ → Set where
  zp : ∀ {n}                   →  zero  + n ≡ n
  sp : ∀ {m n k} →  m + n ≡ k  →  suc m + n ≡ suc k

bishboria

; Minimal "object oriented" scaffolding
(define (object methods)
  (lambda (label method-parameters)
    ((cdr (assoc label methods)) method-parameters)))

; declaration: easily do funkier state stuff here
(define (person name dob)
  (object `( (name . ,(lambda () name))
             (age  . ,(lambda (today) (- today dob)))))) ; absolute nonsense, but an example of param passing

bishboria

find . -iname .git | xargs -I % sh -c 'cd %/..; pwd; git stash list | sed "s/^/ /"'

bishboria

module LittleLang where

open import Data.Bool
open import Data.Nat

data type : Set where
  tNat tBool : type

data exp : type → Set where
  nat  : ℕ → exp tNat

bishboria

;; All the OO stuff
(define (object selector-names . all-selectors)
  (define (apply-it selector selector-names selectors parameters)
    (cond ((null? selectors)                      '(I cant do that Dave!))
          ((equal? selector (car selector-names)) (apply (car selectors) parameters))
          (#t                                     (apply-it selector (cdr selector-names) (cdr selectors) parameters))))
  (lambda (selector . parameters)
    (apply-it selector selector-names all-selectors parameters)))

;; Defining a new object type

bishboria

(define (person person-name person-age)
  (define (name)
    person-name)
  (define (age)
    person-age)
  (lambda (selector)
    (cond ((equal? selector 'name) (name))
          ((equal? selector 'age)  (age))
          (#t '(I cant do that Dave!)))))

bishboria

(define (my-for-each proc list-of-values)
  (cond ((null? list-of-values) #t)
        (else (proc (car list-of-values))
              (my-for-each proc (cdr list-of-values)))))

;; or

(define (my-for-each proc list-of-values)
  (if (null? list-of-values)
  #t

bishboria

I want to have a list of the cartoons/films that I watched as a child. I have flashbacks of themetunes and images, but can't always work out what they are.

Updates will add more shows, and screenshots/youtube links if possible

• Trapdoor
• Transformers
• Starcom
• Centurions
• Mask
• Adventures of Teddy Ruxpin