LPTK/aggregate

Stars
6
Rank 2,458,148 (Top 50 %)
Language
Scala
Created about 6 years ago
Updated almost 6 years ago

LPTK/aggregate

LPTK

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Companion repository to the `Dual to Iterator' blog post

simple-sub

Alternative algorithm for algebraic subtyping.

Boilerless

Beautiful Syntax for Sealed Class Hierarchies

simpler-sub

Oversimplified version of Simple-sub: without recursive types, without nested let polymorphism, and with approximated type-variable-to-type-variable constraints. Nevertheless, it's probably enough for what you need!

SeaglPrototype

uSeagl

Experiments with simplified version of Seagl

squid-examples