tag: Racket
Typed RacketでLuhnアルゴリムを実装した
<2025-01-12 日>
Typed Racket で Luhn アルゴリズムで番号を検証するのを作成した
排中律と二重否定除去をTyped Racketで実装する
<2020-03-26 木>
「排中律と二重否定除去をSMLで実装する」という記事の Typed Racket 版です。
Serverless Frameworkを使ってRacketのプログラムをAWS Lambdaにデプロイしてみた
<2020-03-26 木>
Serverless Framework を使って Racket のプログラムをデプロイする極端な方法を解説します。