Commit Graph

5 Commits (a6a08fe84aaaeee31252122dde544f2d35855aba)

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