Decenta Lyzed @ pepper0 @aus.social

Interested in [#haskell](https://aus.social/tags/haskell) [#dependent\_type

---

Read more

Posts

1

Comments

4

Joined

1 mo. ago