Decenta Lyzed @ pepper0 @aus.social

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

---

Read more

Posts

4

Comments

9

Joined

2 mo. ago