A sample of type-driven programming with dependently types.
Programming totally with head and tail
@lyxia neat article! i love these diagrams at end too
Thanks! I wasn't sure whether they'd be useful, but now I'm glad I made them! 😊
The social network of the future: No ads, no corporate surveillance, ethical design, and decentralization! Own your data with Mastodon!