š lean-agentic
Hash-consed dependent types with 150x faster equality
Ī»x:Type. x (Identity)
Application
Hash-Consing Demo
ā” Benchmark
Click a button to run examples...
150x
Faster Equality
85%
Memory Reduction
O(1)
Hash Lookup
<1.2K
Kernel LOC