categorical-programming

Charity 范畴式编程语言的档案库，包含两个解释器的源代码及来自1990年代的相关文献。