module Stdlib(stdlib) where

import AST
import Parser


stdlib :: Program
stdlib = fromRight $ parseProgram
    "(define not (x) (= x 0))\n\
    \(define id (x) x)\n\
    \(define nil (x) (= x '()))\n\
    \(define . (f g) (lambda (x) (f (g x))))\n"

fromRight :: Show a => Either a b -> b
fromRight (Right b) = b
fromRight (Left a) = error $ "fromRight on Left: " ++ show a