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

msakai/cpl

An interpreter of Hagino's Categorical Programming Language (CPL).

语言:Haskell · GitHub 星标:181 · Fork:9

话题:category-theory · interpreter · programming-language · webassembly

在 GitHub 上查看原仓库

正在读取项目信息…