Idris

Idris2の管理はpackにお任せ
2022-12-03
関数型データ構造と依存型同時入門
2022-09-20
Idrisで証明がしやすい書き方
2022-09-17
- Idris
- 証明
- 小ネタ
Idris2の依存型つき木
2022-09-10
- Idris
- Idris2
- 依存型
Idris 2の数量的型が解決した問題、導入した問題
2021-09-26
- Idris
- Idris2
- 型
Idrisといくつかの帰納法
2021-01-01
- Idris
- 証明
Idrisモナドアソート
2020-12-29
- Idris
Idrisの標準ライブラリを解説していくよ
2020-12-27
- Idris
Idrisで正しいモノイドを定義したい
2020-12-26
- Idris
IdrisのElaboratorリフレクションでメタプログラミング
2020-12-25
IdrisのFFIとCodegen（C、JavaScript）
2020-12-24
Idrisの依存型で高さが100%正しいAVL木を定義する
2020-12-23
Idris面白機能：文芸的Idris
2020-12-22
Idrisで依存型を使った定理証明入門
2020-12-22
Idris面白機能：with構文と依存型、View
2020-12-22
Idris面白機能：シンタックスシュガーとオーバーロード、あとユーザ定義構文
2020-12-20
IdrisのテストとCI
2020-12-20
Idrisdocの使い方
2020-12-19
Idrisのパッケージとipkg
2020-12-17
Idrisの名前つきパラメータとGADT
2020-12-16
Idris手習い: ビッットマップ画像の書き出し
2020-12-16
Idrisのモジュールとプレリュード、標準ライブラリ
2020-12-15
Idrisと高橋君
2020-12-10
Idrisのインタフェースとモナドなどなど
2020-12-09
REPLでIdris小旅行
2020-12-07
Idrisの型とデータ型
2020-12-06
Idrisの基本文法
2020-12-02
Idrisのインストール
2020-12-01
依存型のあるHaskellことIdrisってどんな言語？
2020-11-30
Idrisの話とIdris2のウワサ
2019-09-21
- Idris
- 依存型
Effective Idris: Effects
2019-05-25
- Idris
- Algebraic Effect
Idrisで依存キュー
2019-02-28
- Idris
- 型
- 依存型
Effective Idris: Lazy
2019-02-14
- Idris
- Effective Idris
Idris入門: リファレンス
2019-01-25
- Idris
- Idris入門
Idris入門: 二分木
2019-01-17
- Idris
- Idris入門
Idris入門: 数当てゲーム
2019-01-07
- Idris
- Idris入門
idris環境構築
2019-01-06
- Idris