2015-04-22: Guillaume Allais (MSP)

Tue, 14 Oct 2025 16:51:42 +0000

Guillaume Allais (MSP)

Patterns to avoid: (dependent) stringly-typed programming

Abstract

Type : Set
Type = String -> Bool

2015-04-22 14:00:00 UTC
LT1310