tag: Racket

排中律と二重否定除去をTyped Racketで実装する

<2020-03-26 木>
Racket

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

Serverless Frameworkを使ってRacketのプログラムをAWS Lambdaにデプロイしてみた

<2020-03-26 木>
Racket

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

著者: Masaya Tojo

Twitter: @tojoqk

Mastodon: @tojoqk, English: @tojo

RSS を購読する

トップページに戻る