This repository has been archived by the owner on Mar 7, 2023. It is now read-only.
Integrate with Substrate by making yatima_core no_std (using the sp_std lib) #38
Closed
7 tasks done
Milestone
Since the Yatima's core typechecking and evaluation via the λ-DAG machine only requires rust
core
, we should be able to refactor to build with onlysp_std
:We will also need to switch over to using https://docs.rs/sp-std/3.0.0/sp_std/collections/index.html everywhere for Maps, Sets, etc.
The text was updated successfully, but these errors were encountered: