News for hackers. Stuff that matters.
Re:A Gentle Introduction to Liquid Types by tome on Monday September 11, 2023 @10:56AM (#37468201)
> With CPP or cabal tricks

> I don't know what cabal tricks is supposed to mean here.

It means conditional compilation, i.e. what the C preprocessor also gives you (but somewhat more principled).

There are no comments on this comment yet.