A sample of type-driven programming with dependently types.
Programming totally with head and tail
https://blog.poisson.chat/posts/2020-04-13-safe-head-tail.html
@iitalics
Thanks! I wasn't sure whether they'd be useful, but now I'm glad I made them! 😊
@lyxia neat article! i love these diagrams at end too