ic-memory 0.7.0

Memory ID registry wrapper for ic-stable-structures on Internet Computer canisters
Documentation 
1
2
3
4
5
6

import Lake
open Lake DSL

package ic_memory_whitepaper

lean_lib IcMemory