开源雷达国内 GitHub 镜像站
加速通道已就绪 返回列表
全部项目

c-cube/choice

Choice operator in OCaml, providing a backtracking monad

语言:OCaml · GitHub 星标:26 · Fork:6

话题:backtracking · continuations · monad · ocaml · pure

在 GitHub 上查看原仓库

正在读取项目信息…