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 test-engine/racket-tests) | |
;; t \in SETerm | |
;; Terms as Symbolic expressions | |
(define (strue) '(true)) | |
(define (sfalse) '(false)) | |
(define (sif t1 t2 t3) `(if ,t1 ,t2 ,t3)) |
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 plot) | |
(require math/base) | |
(require math/number-theory) | |
(require math/distributions) | |
;; Integration, from https://github.com/mkierzenka/Racket_NumericalMethods | |
(require "Numerical_Integration.rkt") | |
;; |
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 | |
;; urn.rkt: | |
;; 5-ball urn statistical process: | |
;; - A Sampling Engine | |
;; - An Inference Engine | |
;; - Some Viz/Rendering tools (under construction) | |
(require math/distributions) | |
(require pict) | |
(require plot) |