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

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

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

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

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

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

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

(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

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