Linear types proposal for Hare

yerinalexey.srht.site

Linear types proposal for Hare

yerinalexey.srht.site

m_‮fMA to

Thoughtful DiscussionEnglish · 2 months ago

Borrow checker notes

yerinalexey.srht.site

🦞 comments

You must log in or # to comment.

Chat

Thoughtful Discussion

discuss

Create a post

You are not logged in. However you can subscribe from another Fediverse account, for example Lemmy or Mastodon. To do this, paste the following into the search field of your instance: !discuss@discuss.online

Welcome

Open discussions and thoughts. Make anything into a discussion!

Leaving a comment explaining why you found a link interesting is optional, but encouraged!

Rules

Follow the rules of discuss.online
No porn
No self-promotion
Don’t downvote simply because you disagree or as a reaction to a title. Doing so may result in a temp community ban.

More posting guidelines can be found here:

https://discuss.online/post/33592245

Visibility: Public

This community can be federated to other instances and be posted/commented in by their users.

1 user / day
1 user / week
9 users / month
241 users / 6 months
74 local subscribers
420 subscribers
118 Posts
681 Comments
Modlog

mods:
jgrimdeleted by creator
m_‮f