#lang plait

(define (factorial n)
  (if (<= n 1)
      1
      (* n (factorial (- n 1)))))

(test (factorial 0) 1)
(test (factorial 1) 1)
(test (factorial 5) 120)
(test (factorial 10) 3628800)