எனவே, வடிவமைப்பு விதி காசோலை மற்றும் சில வடிவமைப்பு விதிகள், லாம்ப்டா அடிப்படையிலான வடிவமைப்பு விதிகள் மற்றும் இந்த விதிகள் வடிவமைக்கப்பட்டவுடன், இந்த வடிவமைப்பு விதிகள் பின்பற்றப்படுகிறதா அல்லது அவை மீறப்பட்டதா என்பதை ஒரு கருவி எவ்வாறு தானாகவே சரிபார்க்க முடியும் என்பதையும் நாங்கள் பேசினோம்.
మనము డిజైన్ రూల్ చెక్ మరియు కొన్ని డిజైన్ రూల్స్, లాంబ్డా-బేస్డ్ డిజైన్ రూల్స్ గురించి కూడా మాట్లాడాము మరియు ఈ నియమాలను రూపొందించిన తర్వాత ఈ డిజైన్ నియమాలు పాటించబడ్డాయా లేదా అవి ఉల్లంఘించబడిందా అని ఒక సాధనం ఆటోమేటిక్ గా ఎలా తనిఖీ చేస్తుంది అనే దాని గురించి మాట్లాడాము.