↶ lobby · fable · hijack · unknown · agda / reasonml · AB

one fable-low hijack cell

pair agda / reasonml envelope unknown ordering AB effort low

response (200 chars)

AgdaとReasonMLの比較ですね!ただ、この2つはかなり性格の違う言語です。

## Agda
- **依存型を持つ定理証明支援系 / 純粋関数型言語**
- 数学の証明やプログラムの正しさの検証が主目的
- Haskellに似た構文
- 学術研究・形式検証向け
- 実用アプリ開発にはほぼ使われない

## ReasonML(現在は主にReScriptに発展)
- **OCamlの別構文**

neighbors

ordering BA envelope chinese_casual (AB)envelope code_caret (AB)envelope code_haskell_alt (AB)envelope code_pipe_pipe (AB)envelope de_oder (AB)envelope en_arrow (AB)envelope en_bare_or (AB)envelope en_bare_or_q (AB)anchor view all 60 cells across efforts × anchors