Skip to content

Instantly share code, notes, and snippets.

@jrslepak
jrslepak / gist:5054161
Created February 28, 2013 04:22
Unexpected behavior from define-union-language -- the "two sublanguages" named in the error message are the same language
#lang racket
(require redex)
(define-language LBase
(e (+ e e)
number))
(define-extended-language L1 LBase
(e ....
(- e e)))
@jrslepak
jrslepak / sudoku.rkt
Created June 9, 2012 21:44
Sudoku solver
#lang racket
;;; problem-board and solved-board are included as examples
;;; (solve problem-board) should produce the same result as solved-board
(require rackunit)
;; A board is a 9-vector of 9-vectors (rows) of board-cells
(define (board? xs)
(define (row? r)