---
date: 2025-02-11
modification date: Monday 10th February 2025 21:51:40
tags: []
---
<< [[2 Cole Group Meeting Notes/Weekly Note 2025-02-04]] | [[2 Cole Group Meeting Notes/Weekly Note 2025-02-18]] >>

# This Week's Daily Notes
[[2025-02-04]]
[[2025-02-05]]
[[2025-02-06]]
[[2025-02-07]]
[[2025-02-08]]
# Last Week's Plan
# Accomplishments
## Remarks
## Tasks and Notes From This Past Week
>[!abstract] Read Papers
>```tasks
> done
> (done after 2025-02-04) AND (done before 2025-02-11)
> tags include #Reading 
> group by tags
> sort by done


>[!done] Completed Tasks
> ```tasks
> done
> (done after 2025-02-04) AND (done before 2025-02-11)
> tags does not include #Reading 
> group by tags
> sort by done

# This Week's Plan
## Remarks

>[!todo] Tasks Preview
>```tasks
>show urgency 
>limit 10
>not done
>sort by urgency
>group by tags
>```

- [x] Make a Haskell Learning Plan #Haskell ⏳ 2025-02-12 📅 2025-02-12 ✅ 2025-02-11
- [x] Make a Rust Learning Plan #Rust ⏳ 2025-02-12 📅 2025-02-12 ✅ 2025-02-11
- [x] Make a Lean Learning Plan #LEAN ⏳ 2025-02-12 📅 2025-02-12 ✅ 2025-02-17