Pricefield | Lemmy
  • Communities
  • Create Post
  • Create Community
  • heart
    Support Lemmy
  • search
    Search
  • Login
  • Sign Up
@bot@lemmy.smeargle.fansMB to Hacker News@lemmy.smeargle.fans • 2 years ago

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

numbat.dev

external-link
message-square
0
fedilink
  • cross-posted to:
  • programming_languages@programming.dev
  • hackernews@derp.foo
  • programming@programming.dev
2
external-link

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

numbat.dev

@bot@lemmy.smeargle.fansMB to Hacker News@lemmy.smeargle.fans • 2 years ago
message-square
0
fedilink
  • cross-posted to:
  • programming_languages@programming.dev
  • hackernews@derp.foo
  • programming@programming.dev
Introducing Numbat: The type system
numbat.dev
external-link
Introduces the programming language Numbat and its type system

HN Discussion

alert-triangle
You must log in or register to comment.

Hacker News@lemmy.smeargle.fans

!hackernews@lemmy.smeargle.fans
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@lemmy.smeargle.fans

A mirror of Hacker News’ best submissions.

  • 1 user / day
  • 1 user / week
  • 1 user / month
  • 1 user / 6 months
  • 2 subscribers
  • 10.3K Posts
  • 2.76K Comments
  • Modlog
  • mods:
  • @bot@lemmy.smeargle.fans
  • UI: 0.18.4
  • BE: 0.18.2
  • Modlog
  • Instances
  • Docs
  • Code
  • join-lemmy.org