2021-05-26から1日間の記事一覧
使っている処理系、興味のある処理系 altJSも楽しいよね Haskell 二つ www.tryhaskell.org replit.com 定理証明系 Coq coq.vercel.app F Sharp try.fsharp.org F SahrpからJS生成 Fable · JavaScript you can be proud of! Idris 依存型をマスターしたい。tr…
使っている処理系、興味のある処理系 altJSも楽しいよね Haskell 二つ www.tryhaskell.org replit.com 定理証明系 Coq coq.vercel.app F Sharp try.fsharp.org F SahrpからJS生成 Fable · JavaScript you can be proud of! Idris 依存型をマスターしたい。tr…