OO & sum-type modeling of Mathematical sets
Primary LanguageF#GNU Affero General Public License v3.0AGPL-3.0