one fable-low hijack cell

response (200 chars)

# ReasonML 与 Agda 简介

这是两种风格迥异的函数式语言,我分别介绍一下:

## ReasonML

ReasonML 是 Facebook 开发的语法层,本质是 **OCaml 的新语法**,编译到 JavaScript(通过 BuckleScript/ReScript)。

```reason
/* 基本语法 */
let greeting = "Hello";

type 

neighbors