bor0 的提交内容

Re-Inventing the Monad Wheel

Algorithmic Puzzle: Continuous Increasing Subsequences

Capturing Number Theory in Haskell

Towards Hoare logic for a small imperative language in Haskell

Haskell Memoization and Evaluation Model

Proof: One Sunday every 7 days

A simple Constraint Programming implementation

Superliminal Game Overview

Proofs and Computation with Trees

Deriving a Quine in a Lisp

Equational Reasoning in Racket

Encoding probability and random variables in Racket

Stay Home