This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
#lang racket | |
(require redex) | |
(define-language LBase | |
(e (+ e e) | |
number)) | |
(define-extended-language L1 LBase | |
(e .... | |
(- e e))) |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
#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) |
NewerOlder