Pinned Loading

1. talks talks Public

   Talks that I have given

   C# 8

2. the-little-typer the-little-typer Public

   Daily kata from the Little Typer

   Racket 13 1

3. Proof that subtraction is not commut... Proof that subtraction is not commutative using Coq.

   1

   Require Import Coq.Arith.Arith.

   2

   Require Import Omega.

   3

   4

   (* from http://stackoverflow.com/a/44039996/2370606 *)

   5

   Lemma subtraction_does_not_commute :

4. talk-my-compiler-did-what talk-my-compiler-did-what Public

   talk about what the C# compiler does

   C# 1

5. the-power-of-prolog the-power-of-prolog Public

   Examples from The Power of Prolog

   Prolog 1

6. the-reasoned-schemer the-reasoned-schemer Public

   working through the The Reasoned Schemer 2nd edition

   Racket 1