Hello, Agender is looking for moderators to help moderate this community. If you think you could help out this community please feel free to reply below explaining how you think you can help this community. ...
In some type theories, (\mathsf{Maybe} : \prod_{\left(a : \mathsf{Level}\right)} \left(\mathsf{Set}\ a \rightarrow \mathsf{Set}\ a\right)) is a type function for creating optional values, i.e., "objects which may or may not contain a value". More formally, a term of type (\mathsf{Maybe}\ A) is either (\mathsf{nothing}) or ...
Looking for Moderators
Hello, Agender is looking for moderators to help moderate this community. If you think you could help out this community please feel free to reply below explaining how you think you can help this community. ...
Struggle if I should come out to my family
So, I am Agender for some time. There are some close friends that know and support me. ...
Happy International NonBinary day ( lemmy.blahaj.zone )
Today is International NonBinary day.
Happy Agender Pride day!
I hope you're all having a good day so far. Not really much more to say just wishing everyone a happy Agender Pride day.
A Joke or Pun or Such ( lemmy.blahaj.zone )
In some type theories, (\mathsf{Maybe} : \prod_{\left(a : \mathsf{Level}\right)} \left(\mathsf{Set}\ a \rightarrow \mathsf{Set}\ a\right)) is a type function for creating optional values, i.e., "objects which may or may not contain a value". More formally, a term of type (\mathsf{Maybe}\ A) is either (\mathsf{nothing}) or ...
I am agender
Firstly, my obligatory "I hope this kind of post is acceptable here". Now with that out of the way. ...
[Article] So you found out you're Agender because you don't understand gender ( medium.com )
Found this article on medium while scrolling through some comments in a post here. I recommend you go read the article, it's very insightful. ...
c/Agender FAQ
Hello and welcome to our community. This post is mainly to help explain things to people who first come across this community. ...