Twelf and Delphin: Logic and Functional Programming in a Meta-logical Framework