Skip to content
Snippets Groups Projects
Commit 3080e8b2 authored by Nicolas Camera's avatar Nicolas Camera
Browse files

Actualizar interfaz del interprete en codemirror

Se agregaron y actualizaron las primitivas de MateFun en el editor de texto.
parent 2fead1ac
No related branches found
No related tags found
1 merge request!4Se agrega nueva configuración para el graficador3D
...@@ -18,11 +18,16 @@ var EN_functions = [ ...@@ -18,11 +18,16 @@ var EN_functions = [
"toFig", "toFig",
"segment3D", "segment3D",
"sphere", "sphere",
"cylinder", "tetrahedron",
"cube", "prism",
"octahedron",
"dodecahedron",
"icosahedron",
"ring", "ring",
"joinFigIn3D",
"join3D", "join3D",
"color3D", "color3D",
"transparency3D",
"move3D", "move3D",
"rotate3D", "rotate3D",
"scale3D", "scale3D",
...@@ -52,11 +57,16 @@ var EN_typed_functions = [ ...@@ -52,11 +57,16 @@ var EN_typed_functions = [
"toFig :: A -> Fig", "toFig :: A -> Fig",
"segment3D :: ((R X R X R) X (R X R X R)) -> Fig3D", "segment3D :: ((R X R X R) X (R X R X R)) -> Fig3D",
"sphere :: R -> Fig3D", "sphere :: R -> Fig3D",
"cylinder :: (R X R X R) -> Fig3D", "tetrahedron :: R -> Fig3D",
"cube :: (R X R X R) -> Fig3D", "prism :: (R X R X R) -> Fig3D",
"octahedron :: R -> Fig3D",
"dodecahedron :: R -> Fig3D",
"icosahedron :: R -> Fig3D",
"ring :: (R X R X R) -> Fig3D", "ring :: (R X R X R) -> Fig3D",
"joinFigIn3D :: (Fig X Fig X R) -> Fig3D",
"join3D :: (Fig3D X Fig3D) -> Fig3D", "join3D :: (Fig3D X Fig3D) -> Fig3D",
"color3D :: (Fig3D X Color) -> Fig3D", "color3D :: (Fig3D X Color) -> Fig3D",
"transparency3D :: (Fig3D X R) -> Fig3D",
"move3D :: (Fig3D X (R X R X R)) -> Fig3D", "move3D :: (Fig3D X (R X R X R)) -> Fig3D",
"rotate3D :: (Fig3D X (R X R X R)) -> Fig3D", "rotate3D :: (Fig3D X (R X R X R)) -> Fig3D",
"scale3D :: (Fig3D X R) -> Fig3D", "scale3D :: (Fig3D X R) -> Fig3D",
...@@ -86,11 +96,16 @@ var ES_functions = [ ...@@ -86,11 +96,16 @@ var ES_functions = [
"aFig", "aFig",
"segmento3D", "segmento3D",
"esfera", "esfera",
"cilindro", "tetraedro",
"cubo", "prisma",
"octaedro",
"dodecaedro",
"icosaedro",
"anillo", "anillo",
"juntarFigEn3D",
"juntar3D", "juntar3D",
"color3D", "color3D",
"transparencia3D",
"mover3D", "mover3D",
"rotar3D", "rotar3D",
"escalar3D", "escalar3D",
...@@ -120,11 +135,16 @@ var ES_typed_functions = [ ...@@ -120,11 +135,16 @@ var ES_typed_functions = [
"aFig :: A -> Fig", "aFig :: A -> Fig",
"segmento3D :: ((R X R X R) X (R X R X R)) -> Fig3D", "segmento3D :: ((R X R X R) X (R X R X R)) -> Fig3D",
"esfera :: R -> Fig3D", "esfera :: R -> Fig3D",
"cilindro :: (R X R X R) -> Fig3D", "tetraedro :: R -> Fig3D",
"cubo :: (R X R X R) -> Fig3D", "prisma :: (R X R X R) -> Fig3D",
"octaedro :: R -> Fig3D",
"dodecaedro :: R -> Fig3D",
"icosaedro :: R -> Fig3D",
"anillo :: (R X R X R) -> Fig3D", "anillo :: (R X R X R) -> Fig3D",
"juntarFigEn3D :: (Fig X Fig X R) -> Fig3D",
"juntar3D :: (Fig3D X Fig3D) -> Fig3D", "juntar3D :: (Fig3D X Fig3D) -> Fig3D",
"color3D :: (Fig3D X Color) -> Fig3D", "color3D :: (Fig3D X Color) -> Fig3D",
"transparencia3D :: (Fig3D X R) -> Fig3D",
"mover3D :: (Fig3D X (R X R X R)) -> Fig3D", "mover3D :: (Fig3D X (R X R X R)) -> Fig3D",
"rotar3D :: (Fig3D X (R X R X R)) -> Fig3D", "rotar3D :: (Fig3D X (R X R X R)) -> Fig3D",
"escalar3D :: (Fig3D X R) -> Fig3D", "escalar3D :: (Fig3D X R) -> Fig3D",
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment