tag: Racket

「排中律と二重否定除去をSMLで実装する」という記事の Typed Racket 版です。

Serverless Framework を使って Racket のプログラムをデプロイする極端な方法を解説します。