LPTK/Boilerless

Stars
38
Rank 682,616 (Top 14 %)
Language
Scala
License
MIT License
Created over 7 years ago
Updated over 7 years ago

LPTK/Boilerless

LPTK

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

Beautiful Syntax for Sealed Class Hierarchies

simple-sub

Alternative algorithm for algebraic subtyping.

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!

aggregate

Companion repository to the `Dual to Iterator' blog post

SeaglPrototype

uSeagl

Experiments with simplified version of Seagl

squid-examples