Code

Introduce Austronesian#166

Code

Draft

propensive wants to merge 8 commits intomainpropensive/soundness:mainfrom introduce-austronesianpropensive/soundness:introduce-austronesianCopy head branch name to clipboard

+260-126

Commits

Commits on Mar 6, 2025

• Add a new module for serializing to Java

  propensive

  committed
  99f7131

  Copy full SHA for 99f7131

• Rename [Jj]ava to [Ss]tdlib

  propensive

  committed
  dc8fbf0

  Copy full SHA for dc8fbf0

• Fix unusual whitespace

  propensive

  committed
  676d076

  Copy full SHA for 676d076

• Start to generalize Superlunary over different carriers

  propensive

  committed
  2f90aa1

  Copy full SHA for 2f90aa1

• Extract Dispatchable interface

  propensive

  committed
  dcfc7d3

  Copy full SHA for dcfc7d3

• Construct new Classloaders from Classpaths

  propensive

  committed
  7b320cf

  Copy full SHA for 7b320cf

• Improve Austronesian tests

  propensive

  committed
  b805f49

  Copy full SHA for b805f49

• Some progress on Austronesian

  propensive

  committed
  d8b824d

  Copy full SHA for d8b824d