bishboria

package ca.jbrains.pos.test;

import static org.junit.Assert.*;

import java.util.*;

import org.junit.*;

public class SellOneItemTest {
	private Display display;

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

;; 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

-- 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

module SingleCaseInduction where

-- Usual definition of ℕ
data N : Set where
  z : N
  s : N → N


-- Single case definition of ℕ
data _+_ (A : Set) (B : Set) : Set where

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

Keybase proof

I hereby claim:

• I am bishboria on github.
• I am bishboria (https://keybase.io/bishboria) on keybase.
• I have a public key whose fingerprint is 4243 FB55 3364 0BE8 D08E 876F 078A 4BBA 842F C1A0

To claim this, I am signing this object:

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

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