Skip to content

Support using Scala propagators with Java backend#365

Merged
NthPortal merged 4 commits intotypelevel:mainfrom NthPortal:scala-propagator-support/PRDec 20, 2023

Commits

Commits on Dec 20, 2023