Commit Graph

5 Commits (9bb566dcdbe36ca0812cbdcfcf7af3faaefdcb1f)

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