You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
11 lines
163 B
11 lines
163 B
var typ = require("./representation.js");
|
|
|
|
/*function simplify(stx) {
|
|
switch (stx.exprType) {
|
|
case "Application":
|
|
|
|
}
|
|
}*/
|
|
|
|
//function simplifyUnary(stx) {
|
|
|
|
|