Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on May 31, 2018

• Find assertions by pattern matching

  

  Kevin Leimkuhler

  committed
  41d5ac5

  Copy full SHA for 41d5ac5

Commits on May 24, 2018

• Add up to 4.4.4.3

  

  Kevin Leimkuhler

  committed
  d669be4

  Copy full SHA for d669be4

Commits on May 23, 2018

• Begin query system

  

  Kevin Leimkuhler

  committed
  27188ae

  Copy full SHA for 27188ae

Commits on May 21, 2018

• Finish logic programming brain teasers

  

  Kevin Leimkuhler

  committed
  133dc0b

  Copy full SHA for 133dc0b

Commits on May 2, 2018

• Add rest of beginner logic programs

  

  Kevin Leimkuhler

  committed
  b5c0876

  Copy full SHA for b5c0876

Commits on Apr 27, 2018

• Add up through 4.60 (some in notebook)

  

  Kevin Leimkuhler

  committed
  1749838

  Copy full SHA for 1749838

Commits on Apr 26, 2018

• Start logic programming section

  

  Kevin Leimkuhler

  committed
  2b0dd4b

  Copy full SHA for 2b0dd4b

Commits on Apr 15, 2018

• Complete Amb evaluator exercises

  

  Kevin Leimkuhler

  committed
  9579318

  Copy full SHA for 9579318

Commits on Apr 12, 2018

• Finish logic puzzles

  

  Kevin Leimkuhler

  committed
  16c8a0d

  Copy full SHA for 16c8a0d

Commits on Apr 11, 2018

• Begin logic puzzles

  

  Kevin Leimkuhler

  committed
  230fe0f

  Copy full SHA for 230fe0f

Commits on Apr 10, 2018

• Start nondeterministic exercises

  

  Kevin Leimkuhler

  committed
  10b6978

  Copy full SHA for 10b6978

Commits on Apr 5, 2018

• Add lazy list exercises

  

  Kevin Leimkuhler

  committed
  e968dbd

  Copy full SHA for e968dbd

Commits on Apr 4, 2018

• Add thunk exercises

  

  Kevin Leimkuhler

  committed
  bca0fe2

  Copy full SHA for bca0fe2

Commits on Apr 1, 2018

• Add lazy exercise (22-28 found in book)

  

  Kevin Leimkuhler

  committed
  8f590e9

  Copy full SHA for 8f590e9

Commits on Mar 30, 2018

• Finish 4.1

  

  Kevin Leimkuhler

  committed
  ca24b8b

  Copy full SHA for ca24b8b

Commits on Mar 28, 2018

• Add letrec exercises

  

  Kevin Leimkuhler

  committed
  b373933

  Copy full SHA for b373933

Commits on Mar 26, 2018

• Add 4.16

  

  Kevin Leimkuhler

  committed
  5ecefff

  Copy full SHA for 5ecefff

Commits on Mar 22, 2018

• Add 4.13 and 4.14

  

  Kevin Leimkuhler

  committed
  2438a5b

  Copy full SHA for 2438a5b

Commits on Mar 21, 2018

• Add data structure exercises

  

  Kevin Leimkuhler

  committed
  83655da

  Copy full SHA for 83655da

Commits on Mar 19, 2018

• Finish expression representation

  

  Kevin Leimkuhler

  committed
  634b713

  Copy full SHA for 634b713

Commits on Mar 17, 2018

• Add and/or implementations

  

  Kevin Leimkuhler

  committed
  607974c

  Copy full SHA for 607974c

• Data-directed style of eval

  

  Kevin Leimkuhler

  committed
  ffb9c87

  Copy full SHA for ffb9c87

Commits on Mar 16, 2018

• Add 4.2

  

  Kevin Leimkuhler

  committed
  5b8cd00

  Copy full SHA for 5b8cd00

Commits on Mar 13, 2018

• Beginning of Chapter 4

  Show description for 7645e2f
  

  Kevin Leimkuhler

  committed
  7645e2f

  Copy full SHA for 7645e2f

Commits on Mar 12, 2018

• Finish chapter 3

  

  Kevin Leimkuhler

  committed
  b06d64b

  Copy full SHA for b06d64b

Commits on Mar 11, 2018

• Add more streams!

  

  Kevin Leimkuhler

  committed
  8cbf569

  Copy full SHA for 8cbf569

Commits on Mar 9, 2018

• Add up examples and exercise 3.53

  

  Kevin Leimkuhler

  committed
  e7a9853

  Copy full SHA for e7a9853

Commits on Mar 8, 2018

• Start stream exercises

  Show description for 8c56c4a
  

  Kevin Leimkuhler

  committed
  8c56c4a

  Copy full SHA for 8c56c4a

Commits on Mar 5, 2018

• Add serializer impls with mutexes & semaphores

  

  Kevin Leimkuhler

  committed
  d185cbb

  Copy full SHA for d185cbb

Commits on Mar 2, 2018

• Add connector extended example

  

  Kevin Leimkuhler

  committed
  5c1167a

  Copy full SHA for 5c1167a

Commits on Mar 1, 2018

• Convert exercise files to .scm

  

  Kevin Leimkuhler

  committed
  c8f564e

  Copy full SHA for c8f564e

Commits on Feb 20, 2018

• Complete circuit

  

  Kevin Leimkuhler

  committed
  ba6f795

  Copy full SHA for ba6f795

Commits on Feb 18, 2018

• Add rest of agenda implementation

  

  Kevin Leimkuhler

  committed
  d72cbcb

  Copy full SHA for d72cbcb

• Modularize circuit simulation procedures

  

  Kevin Leimkuhler

  committed
  51eeb12

  Copy full SHA for 51eeb12

Commits on Feb 16, 2018

• Add exercise 3.31 and beginning of agenda DT

  

  Kevin Leimkuhler

  committed
  2ae1ec3

  Copy full SHA for 2ae1ec3

Pagination

Previous

Next