Commit 8686f81

authored

Implement Ixon datatypes and serialization in Rust (#246)

* metadata type * ixon serialization w/o testing * ixon serialization testing * clippy * chore: Update benchmarks and Nix build (#245) * chore: Update benchmarks and Nix build * Restore CLI tests without store or prove * clippy * rustfmt * remove meta.rs --------- Co-authored-by: Samuel Burnham <45365069+samuelburnham@users.noreply.github.com> Co-authored-by: Arthur Paulino <arthurleonardo.ap@gmail.com> Co-authored-by: Gabriel Barreto <gabriel.aquino.barreto@gmail.com>

1 parent 49369a8 commit 8686f81Copy full SHA for 8686f81

9 files changed

+2488

-2044

lines changed

Ix
- Ixon.lean
src
- ixon.rs
- ixon
- lean
  - nat.rs
- lib.rs

9 files changed

+2488

-2044

lines changed

`‎Ix/Ixon.lean‎`

-Original file line number
+Diff line change
   nested : Nat
   type : Address
   ctors : List Constructor
 -  --recrs : List Recursor
   deriving BEq, Repr, Inhabited, Ord, Hashable
 instance : Serialize Inductive where

Comments

(0)