このエントリはIdris Advent Calendar 2020の7日目の記事です。 前はrigh1113さんで自然数の加法の交換法則 by Idrisでした。

κeenです。今日は型とデータ型を紹介します。

このエントリはML Advent Calendar 2020の3日目の記事です。 前はelpinalさんでStandardMLのwithtypeの挙動でした。

κeenです。Haskelなどにある ` ~ ` の記法（のようなもの）をSMLで実現する話です。

このエントリはIdris Advent Calendar 2020の4日目のエントリです。前はhelloyukiさんで「IdrisにHello World on VSCode & Mac」でした。

κeenです。今回は基本文法を解説します。

このエントリはRust 3 Advent Calendar 2020の2日目の記事です。前回はstnaoさんでRust,Wasm,Dockerで"hello world"をする MacOs catalinaでした。

アドベントカレンダー埋まってないところを埋める担当のκeenです。そういえばRustの環境構築の記事を最近みかけないなと思ったので書きます。 それと私がEmacs使いなのでEmacsのセットアップや開発方法なども記します。

このエントリはIdris Advent Calendar 2020の2日目の記事です。前回は依存型のあるHaskellことIdrisってどんな言語？でした。

κeenです。 Idrisの紹介が済んだので処理系のインストール方法を紹介します。

このエントリはIdris Advent Calendar 2020の1日目の記事です。

κeenです。 Idrisのことを知らない人も多いと思うのでIdrisの紹介からはじめていきたいと思います。

このエントリは言語実装 Advent Calendar 2020の1日目の記事です。 次はsisshiki1969さんで「RustでつくるRuby、その後の進捗」です。

κeenです。 昔からちまちま作ってるSML処理系をブラウザ上で動かすことができたのでその進捗報告です。

κeenです。めずらしくWebの話題でも。ブラウザ上で音出したいときってどうすればいいんだっけとなって調べた結果です。

κeenです。重い腰を上げてブログ記事のOGPを設定するようにしたので共有します。