Move impatient code to subdir
Add a copy of Data.Stream from Agda's stdlib 2.3.2
Initial sketching of `MsgStream`s
Add tail-cong to Stream
Add .gitignore for code
Add more comments
Add Idris sketches
Correct comments
Tidy-up code, resolve productivity issues
Use non-blocking delayed send
Introduce separate inboxes
Refactor code slightly
Make scheduler "buffered"
Prettier formatting of logs
Add /MAlonzo to gitignore
Add more delay stream examples, move process away