lemma "(A ? B) ? (B ? A)"
apply (rule impI)
apply (erule conjE)
apply (rule conjI)
apply assumption+
done
lemma "(A ? B) ? (B ? A)"
apply (rule impI)
apply (erule conjE)
apply (rule conjI)
apply assumption+
done
datatype 'a list = Nil | Cons 'a 'a list
fun append :: "'a list ? 'a list ? 'a list" where
"append Nil ys = ys" |
"append (Cons x xs) ys = Cons x (append xs ys)"
fun rev :: "'a list ? 'a list" where
"rev Nil = Nil" |
"rev (Cons x xs) = append (rev xs) (Cons x Nil)"
datatype 'a tree = Leaf | Node "'a tree" 'a "'a tree"
fun mirror :: "'a tree ? 'a tree" where
"mirror Leaf = Leaf" |
"mirror (Node l x r) = Node (mirror r) x (mirror l)"
Back-end App Developer
Front-end Web Developer
Full Stack Developer (Java)
Full Stack Developer (.Net)
Full Stack Developer (MEAN)
Full Stack Developer (MERN)
DevOps Engineer
Database Engineer (AzureSQL)
Database Engineer (Oracle)
Database Engineer (General)
Solution Architect (.NET)
Solution Architect (Java)
Solution Architect (Ruby)
Solution Architect (Python)
AI Engineer (Python)
Sr. AI Engineer (Python)
AI Strategist (Python)
Business Intelligence Engineer
Systems Analyst
Mainframe Developer (COBOL)
Mainframe Developer (General)