Commit Graph

5 Commits (4d2d06bf3eeba601316ea4655709c77494055656)

Author SHA1 Message Date
Alisdair McDiarmid 922de89be1 Conclude module variable optional attrs experiment
4 years ago
Alisdair McDiarmid 650380f3ae configs: Add default argument to optional()
4 years ago
Alisdair McDiarmid bb35f02c95 Conclude preconditions/postconditions experiment
4 years ago
Martin Atkins 9076400436 configs: Decode preconditions and postconditions
4 years ago
Martin Atkins 31349a9c3a Move configs/ to internal/configs/
5 years ago