• R/O
  • HTTP
  • SSH
  • HTTPS

提交

标签
No Tags

Frequently used words (click to add to your profile)

javac++androidlinuxc#windowsobjective-ccocoa誰得qtpythonphprubygameguibathyscaphec計画中(planning stage)翻訳omegatframeworktwitterdomtestvb.netdirectxゲームエンジンbtronarduinopreviewer

A categorical programming language


Commit MetaInfo

修订版54ea75ca4de77d154df858285cd8e650b4a6a0e7 (tree)
时间2023-09-12 10:22:43
作者Corbin <cds@corb...>
CommiterCorbin

Log Message

Add a note.

更改概述

差异

--- a/todo.txt
+++ b/todo.txt
@@ -449,3 +449,21 @@
449449 * https://okmij.org/ftp/continuations/undelimited.html
450450 * Theories/typeclasses
451451 * Put signatures and instances into new section of hive
452+* Hive -> git repo
453+ * Expressions -> objects
454+ * Prims -> blobs
455+ * Composites -> trees of expressions
456+ * Types -> objects
457+ * Prims -> blobs
458+ * Composites -> trees of types
459+ * Trails -> commits
460+ * Note: this means prims can't have trails?
461+ * Jets -> tags
462+ * Note: This can be used to force jets to not be refactored, e.g. for
463+ constant-time expressions
464+ * Modules ->
465+ * Signatures -> trees of...
466+ * Given types -> implicit, computed from usage
467+ * Type signatures -> trees of types
468+ * Submodules -> tree of type signatures?
469+ * Structs -> trees