Numbat – A programming language with physical dimensions as types

numbat.dev

Numbat – A programming language with physical dimensions as types

numbat.dev

Lemmit.Online bot@lemmit.onlineMB to

The Rust Programming Language@lemmit.onlineEnglish · 2 years ago

Introducing Numbat: The type system

numbat.dev

Introduces the programming language Numbat and its type system

This is an automated archive made by the Lemmit Bot.

The original was posted on /r/rust by /u/chilled_programmer on 2023-11-17 09:34:40.

You must log in or # to comment.

Chat

The Rust Programming Language@lemmit.online

rust@lemmit.online

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: !rust@lemmit.online

Community locked: only moderators can create posts. You can still comment on posts.

A place for all things related to the Rust programming language—an open-source systems language that emphasizes performance, reliability, and…

Visibility: Public

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

1 user / day
1 user / week
1 user / month
7 users / 6 months
6 local subscribers
13 subscribers
7.34K Posts
4 Comments
Modlog

mods:
Lemmit.Online bot@lemmit.online