haxor@derp.fooMB to

Hacker News@derp.fooEnglish · 2 years ago

Show HN: Numbat – A programming language with physical dimensions as types

0

0

Show HN: Numbat – A programming language with physical dimensions as types

haxor@derp.fooMB to

Hacker News@derp.fooEnglish · 2 years ago

0

Introducing Numbat: The type system

Introduces the programming language Numbat and its type system

There is a discussion on Hacker News, but feel free to comment here as well.

You must log in or # to comment.

Chat

Zip2@feddit.uk
link
fedilink
English
arrow-up
1·
edit-2
6 months ago
deleted by creator

Hacker News@derp.foo

hackernews@derp.foo

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: !hackernews@derp.foo

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

This community serves to share top posts on Hacker News with the wider fediverse.

Rules

Keep it legal
Keep it civil and SFW
Keep it safe for members of marginalised groups

Visibility: Public

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

2 users / day
2 users / week
2 users / month
2 users / 6 months
70 local subscribers
4.12K subscribers
18K Posts
9.68K Comments
Modlog

mods:
haxor@derp.foo