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

robsimmons/levy

A fork of Levy, originally by Bauer and Pretnar. The 'master' branch has some minor code fixes, more examples, and a top-level 'do' notation, the 'modprec' branch fiddles with the parser, and the 'datatype' branch totally changes the parser (damn you, reduce/reduce errors) and adds support for user-defined datatypes. The 'holey' branch is highly experimental; I am using it to explore some ideas in generic programming.

语言:OCaml · GitHub 星标:18 · Fork:2

在 GitHub 上查看原仓库

正在读取项目信息…