Lean 4rewrites/simplifies formulas. • Updates to functional data structures such as red black trees. • List zipper New idioms structure ParserState := (stxStack : Array Syntax) (pos : String.Pos)0 码力 | 20 页 | 1.78 MB | 1 年前3- Lean in Leanrewrites/simplifies formulas. • Updates to functional data structures such as red black trees. • List zipper Reference counts • Each heap-allocated object has a reference count. • We can view the counter0 码力 | 54 页 | 4.78 MB | 1 年前3
共 2 条
- 1