From 653c7d93e9f8ecae78bdd2d884cce59041b11202 Mon Sep 17 00:00:00 2001
From: Arnaud Bailly <arnaud.bailly@iohk.io>
Date: Thu, 10 Oct 2024 18:23:02 +0200
Subject: Improve leaderboard to add timestamp and result

---
 rust/src/lambda.rs | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

(limited to 'rust/src/lambda.rs')

diff --git a/rust/src/lambda.rs b/rust/src/lambda.rs
index 4027a62..30f9f43 100644
--- a/rust/src/lambda.rs
+++ b/rust/src/lambda.rs
@@ -1,11 +1,10 @@
 use proptest::{
-    arbitrary::{any, any_with, arbitrary_with},
+    arbitrary::any,
     prelude::*,
     strategy::{Strategy, ValueTree},
     test_runner::TestRunner,
 };
-use rand::{rngs::SmallRng, Rng, RngCore, SeedableRng};
-use serde::{Deserialize, Serialize};
+use rand::Rng;
 use std::collections::HashMap;
 
 use crate::ast::*;
-- 
cgit v1.2.3