diff options
| author | Arnaud Bailly <arnaud.bailly@iohk.io> | 2024-10-10 18:23:02 +0200 |
|---|---|---|
| committer | Arnaud Bailly <arnaud.bailly@iohk.io> | 2024-10-10 18:23:02 +0200 |
| commit | 653c7d93e9f8ecae78bdd2d884cce59041b11202 (patch) | |
| tree | 2b26c78932d97a1f7619a925614fd5efcabf9dd3 /rust/src/lambda.rs | |
| parent | c511c31fe25045b46a57b11201704ff55207e808 (diff) | |
| download | lambda-nantes-653c7d93e9f8ecae78bdd2d884cce59041b11202.tar.gz | |
Improve leaderboard to add timestamp and result
Diffstat (limited to 'rust/src/lambda.rs')
| -rw-r--r-- | rust/src/lambda.rs | 5 |
1 files changed, 2 insertions, 3 deletions
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::*; |