one fable-low hijack cell

response (200 chars)

# ReasonML 与 Coq 简介

这是两个相关但用途不同的函数式编程语言/工具。

## ReasonML

ReasonML 是 Facebook 开发的语法层,本质上是 OCaml 的新语法,更接近 JavaScript。

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

let add = (a, b) => a + b;

type 

neighbors