As of May 31, 2023, we have updated our Code of Conduct.
Emacs
Musa Al-hassy's user avatar
Musa Al-hassy's user avatar
Musa Al-hassy's user avatar
Musa Al-hassy
  • Member for 7 years, 6 months
  • Last seen more than a week ago
Profile Activity
Stats
103
reputation
0
reached
0
answers
0
questions
Communities
View all
Badges
View all badges
This user doesn’t have any gold badges yet.
1
silver badge
4
bronze badges
Posts

This user hasn’t posted yet.

Top network posts
View all network posts
12
Why Term Rewriting?
12
Dependent Types in C#: making the output type depend on the input value
10
Why is it bad to pick basis for a vector space?
9
continuations as meaningful comprehensions
8
Reference request: Categories enriched over $\textbf{FinLat}$

Your privacy

By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.