Content deleted Content added
Line 78:
=== Polymorphic Effects ===
=== Extensible Records ===
<syntaxhighlight lang="Scala">
...
</syntaxhighlight>
=== First-class Datalog Constraints ===
|
Line 78:
=== Polymorphic Effects ===
=== Extensible Records ===
<syntaxhighlight lang="Scala">
...
</syntaxhighlight>
=== First-class Datalog Constraints ===
|