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:
package ca.jbrains.pos.test; | |
import static org.junit.Assert.*; | |
import java.util.*; | |
import org.junit.*; | |
public class SellOneItemTest { | |
private Display display; |
(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 |
;; 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 |
(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!))))) |
-- 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 |
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 |
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 |
I hereby claim:
To claim this, I am signing this object:
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