An open API service providing repository metadata for many open source software ecosystems.

gitlab.math.univ-paris-diderot.fr / petrucciani

petrucciani/setvariants

Prototype implementation of a mini-ML language with polymorphic variants and pattern matching using set-theoretic types.

dernière synchronisation: il y a environ un an - enregistré: il y a 12 mois - étoiles: 0 - forks: 0