Tons of useful stuff here.
Some syntactic ambiguities, particularly around the =o relation, which is also
defined as Set_Algebras.elt_set_eq.
I don’t suppose there’s any chance of using quotients to define actual
cardinals and use ordinary equality? And it still makes sense to introduce the
ac
Here are some notable changes concerning the Haskell Stack, which is a
build tool with a package repository behind it:
changeset: 69526:5574d504cf36
tag: tip
user:wenzelm
date:Fri Dec 28 19:01:35 2018 +0100
files: etc/settings
description:
more conservative update o