• R/O
  • HTTP
  • SSH
  • HTTPS

提交

标签
No Tags

Frequently used words (click to add to your profile)

javac++androidlinuxc#objective-cqt誰得windowscocoapythonphprubygameguibathyscaphec翻訳omegat計画中(planning stage)frameworktwittertestdomvb.netdirectxbtronarduinopreviewerゲームエンジン

A categorical programming language


Commit MetaInfo

修订版5e5d159188286064f61c6adfc7305a4bc88a03c2 (tree)
时间2022-04-26 13:06:14
作者Corbin <cds@corb...>
CommiterCorbin

Log Message

Successfully compile to a category.

The target category is the Kleisli category generated by a cost monad.
The resulting raytracer gives an estimated cost for each pixel.

更改概述