Skip to content
Tuber
Search
Cancel
GitHub
Select theme
Dark
Light
Auto
記法: Syntax
はじめに
識別子: Identifier
式: Expression
変数: Variable
シンボル: Symbol
関数適用: Application
ラムダ抽象: Lambda
名前付き関数とコンテキスト
コマンド: Command
簡約: Reduce
関数定義: Define
コンテキスト: Context
一覧: List
問い合わせ: Query
展開: Expand
定義済み関数
定義済み関数
基本的なコンビネータ
真理値
自然数
比較演算
タプルとリスト
不動点コンビネータ
GitHub
Select theme
Dark
Light
Auto
問い合わせ: Query
WIP