依存型のあるHaskellことIdrisってどんな言語？
このエントリはIdris Advent Calendar 2020の1日目の記事です。
κeenです。 Idrisのことを知らない人も多いと思うのでIdrisの紹介からはじめていきたいと思います。
このエントリはIdris Advent Calendar 2020の1日目の記事です。
κeenです。 Idrisのことを知らない人も多いと思うのでIdrisの紹介からはじめていきたいと思います。
このエントリは言語実装 Advent Calendar 2020の1日目の記事です。 次はsisshiki1969さんで「RustでつくるRuby、その後の進捗」です。
κeenです。 昔からちまちま作ってるSML処理系をブラウザ上で動かすことができたのでその進捗報告です。
κeenです。めずらしくWebの話題でも。ブラウザ上で音出したいときってどうすればいいんだっけとなって調べた結果です。
κeenです。重い腰を上げてブログ記事のOGPを設定するようにしたので共有します。
κeenです。 最近テックイベントに参加するにあたって発表動画を提出する機会があったので使用したツールを紹介します。
κeenです。最近紙芝居みたいなSVGをブログ（スライド）に載せる需要があったときに調べたのでそのメモ。 Inkscapeで描いたSVGを組み合わせます。Inkscape 1.0.1での情報です。
κeenです。先日発表したRustで作るインメモリキャッシュが全然話し足りなかったので色々補足します。