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. clpfd-tutorial clpfd-tutorial Public

   Example from clp(fd) tutorial at https://github.com/Anniepoo/swiplclpfd/blob/master/clpfd.adoc

   Prolog

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

   talk about what the C# compiler does

   C# 1

6. the-power-of-prolog the-power-of-prolog Public

   Examples from The Power of Prolog

   Prolog