Skip to content

Commit 37da7ef

Browse files
committed
up
1 parent f15cc49 commit 37da7ef

File tree

1 file changed

+7
-4
lines changed

1 file changed

+7
-4
lines changed

TODO.md

Lines changed: 7 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,3 @@
1-
[maybe] 实现 `Entity``Attribute` 在类型上的差别
2-
3-
- `Context` 需要用 `QuotientSet` 而不是 `Set`
4-
51
# lattice layout
62

73
练习 order book 中计算 concept lattice 的算法。
@@ -24,6 +20,13 @@
2420
- 注意,我们要对所有点找到最长的 chain,
2521
最好能一起找,而不只是一个点一个点的找。
2622

23+
# maybe
24+
25+
[maybe] 实现 `Entity``Attribute` 在类型上的差别
26+
27+
- 这样可以保证重要的类型安全,但是将大大降低效率
28+
- `Context` 需要用 `QuotientSet` 而不是 `Set`
29+
2730
# editing context
2831

2932
如何处理对 context 的修改?

0 commit comments

Comments
 (0)