From 7f7787ff22638c3f35b43f792685bc5831667429 Mon Sep 17 00:00:00 2001 From: Fedor Isakov Date: Thu, 27 Jan 2022 10:24:02 +0100 Subject: [PATCH] Fix wording in docs: drop MPS before "coderules" --- docs/_assets/mdl.css | 2 +- docs/_config.yml | 2 +- docs/content/about.md | 2 +- 3 files changed, 3 insertions(+), 3 deletions(-) diff --git a/docs/_assets/mdl.css b/docs/_assets/mdl.css index 4a789803..17899bc9 100644 --- a/docs/_assets/mdl.css +++ b/docs/_assets/mdl.css @@ -194,7 +194,7 @@ background-size: 110%; background-position-y: 1px; background-position-x: -5px; - background-image: url("data:image/svg+xml,%3Csvg id='Layer_1' data-name='Layer 1' xmlns='http://www.w3.org/2000/svg' xmlns:xlink='http://www.w3.org/1999/xlink' viewBox='0 0 1000 600'%3E%3Cdefs%3E%3ClinearGradient id='linear-gradient' x1='286.10097' y1='345.8907' x2='136.61561' y2='158.50163' gradientUnits='userSpaceOnUse'%3E%3Cstop offset='0.0914' stop-color='%230b8fff'/%3E%3Cstop offset='0.2077' stop-color='%230d94f6'/%3E%3Cstop offset='0.39603' stop-color='%2311a3de'/%3E%3Cstop offset='0.63282' stop-color='%2318bbb7'/%3E%3Cstop offset='0.87097' stop-color='%2321d789'/%3E%3C/linearGradient%3E%3ClinearGradient id='linear-gradient-2' x1='217.493' y1='294.52798' x2='284.26524' y2='114.9648' gradientUnits='userSpaceOnUse'%3E%3Cstop offset='0.12297' stop-color='%2321d789'/%3E%3Cstop offset='0.13191' stop-color='%2327d788'/%3E%3Cstop offset='0.21553' stop-color='%2359d87b'/%3E%3Cstop offset='0.30328' stop-color='%2385d970'/%3E%3Cstop offset='0.39353' stop-color='%23abda67'/%3E%3Cstop offset='0.487' stop-color='%23cadb5f'/%3E%3Cstop offset='0.58469' stop-color='%23e1db59'/%3E%3Cstop offset='0.68842' stop-color='%23f2dc55'/%3E%3Cstop offset='0.80231' stop-color='%23fcdc53'/%3E%3Cstop offset='0.94595' stop-color='%23ffdc52'/%3E%3C/linearGradient%3E%3C/defs%3E%3Ctitle%3EMPS_CodeRules%3C/title%3E%3Cg%3E%3Cg%3E%3Cg%3E%3Cpolygon points='303.441 342.787 303.441 146.857 246.156 285.502 107.511 146.858 107.511 342.787 303.441 342.787 303.441 342.787 303.441 342.787' fill='url(%23linear-gradient)'/%3E%3Cpolygon id='_Path_' data-name='<Path>' points='249.935 289.281 205.04 244.558 303.441 146.857 249.935 289.281' fill='url(%23linear-gradient-2)'/%3E%3C/g%3E%3Cg id='_Group_' data-name='<Group>'%3E%3Cpath id='_Compound_Path_' data-name='<Compound Path>' d='M376.12008,147.72024H422.544l51.45765,82.77816,51.45764-82.77816h46.42392V343.48335H529.09494V215.67709l-55.09329,83.6188h-1.11823l-54.53474-82.77816V343.48335h-42.2286Z'/%3E%3Cpath id='_Compound_Path_2' data-name='<Compound Path>' d='M585.85377,147.72024h79.98316c46.70376,0,74.94944,27.68712,74.94944,67.67814v.55742c0,45.30682-35.23714,68.79749-79.14364,68.79749H628.92189v58.73006H585.85377Zm77.187,98.71882c21.534,0,34.11891-12.86356,34.11891-29.64262v-.55967c0-19.29648-13.42437-29.64487-34.95843-29.64487H628.92189v59.84716Z'/%3E%3Cpath id='_Compound_Path_3' data-name='<Compound Path>' d='M738.70029,314.95783l25.44954-30.48325c17.61857,14.54259,36.07665,23.77163,58.45023,23.77163,17.61744,0,28.24455-6.99033,28.24455-18.45808v-.55967c0-10.90808-6.71162-16.50034-39.43134-24.88875-39.43247-10.06968-64.882-20.9755-64.882-59.84716v-.56192c0-35.51585,28.52552-59.00652,68.51654-59.00652,28.52551,0,52.85683,8.94808,72.713,24.88874l-22.37357,32.441c-17.33873-12.02518-34.39875-19.29648-50.89684-19.29648-16.50147,0-25.17083,7.55-25.17083,17.05777v.56193c0,12.86356,8.38952,17.05776,42.2286,25.72713,39.7123,10.34839,62.08587,24.61227,62.08587,58.73v.55968c0,38.87166-29.64487,60.68555-71.87459,60.68555A124.57063,124.57063,0,0,1,738.70029,314.95783Z'/%3E%3C/g%3E%3C/g%3E%3Cg%3E%3Cpath d='M106.83938,420.35176c0-21.09849,15.33587-35.50881,34.79007-35.50881a30.96663,30.96663,0,0,1,25.01,12.14562l-4.94047,3.19025a24.94616,24.94616,0,0,0-20.06954-9.98433c-16.16055,0-28.61386,12.249-28.61386,30.15727,0,17.704,12.45331,30.15728,28.61386,30.15728a24.944,24.944,0,0,0,20.06954-9.98182l4.94047,3.08685c-6.07282,7.51284-14.10013,12.249-25.01,12.249C122.17525,455.8631,106.83938,441.45277,106.83938,420.35176Z' fill='%2314003b'/%3E%3Cpath d='M196.57985,420.35176c0-20.06954,13.17458-35.50881,33.34878-35.50881,20.07081,0,33.34753,15.43927,33.34753,35.50881,0,20.07207-13.27672,35.51134-33.34753,35.51134C209.75443,455.8631,196.57985,440.42383,196.57985,420.35176Zm60.52135,0c0-17.49717-10.70434-30.15727-27.17257-30.15727-16.67376,0-27.17257,12.6601-27.17257,30.15727,0,17.2929,10.49881,30.15728,27.17257,30.15728C246.39686,450.509,257.1012,437.64466,257.1012,420.35176Z' fill='%2314003b'/%3E%3Cpath d='M298.36129,454.62735V385.97529h21.92317c21.30529,0,34.68666,15.54268,34.68666,34.37647,0,19.04312-13.38137,34.27559-34.68666,34.27559Zm50.43362-34.27559c0-16.05462-10.292-29.02492-28.51045-29.02492H304.22857v57.949h16.05589C338.3995,449.27581,348.79491,436.40891,348.79491,420.35176Z' fill='%2314003b'/%3E%3Cpath d='M390.1584,454.62735V385.97529h43.53739v5.35155H396.02441v25.4236h36.95137V422.102H396.02441v27.17383h37.67138v5.35154Z' fill='%2314003b'/%3E%3Cpath d='M556.26427,454.62735l-19.2474-28.407H521.88653v28.407h-5.866V385.97529H541.6484c11.8367,0,20.89422,7.51284,20.89422,20.07207,0,12.4533-8.85073,19.34827-19.0406,19.76186l19.864,28.81813Zm.10339-48.58c0-8.64771-6.17621-14.72052-15.23373-14.72052h-19.2474v29.5394h19.2474C550.19145,420.86624,556.36766,414.69254,556.36766,406.04736Z' fill='%2314003b'/%3E%3Cpath d='M597.73367,428.2782V385.97529h5.96942V428.1748c0,13.89585,7.30856,22.33424,20.79082,22.33424,13.58691,0,20.79207-8.43839,20.79207-22.33424V385.97529h5.96942V428.2782c0,16.98269-9.05752,27.5849-26.76149,27.5849C606.89334,455.8631,597.73367,445.15749,597.73367,428.2782Z' fill='%2314003b'/%3E%3Cpath d='M688.91417,454.62735V385.97529h5.866v63.30052h33.24539v5.35154Z' fill='%2314003b'/%3E%3Cpath d='M761.36553,454.62735V385.97529h43.53739v5.35155H767.2328v25.4236h36.95011V422.102H767.2328v27.17383h37.67012v5.35154Z' fill='%2314003b'/%3E%3Cpath d='M836.18246,444.95322l3.80812-4.426a27.98291,27.98291,0,0,0,21.40869,9.98182c14.10013,0,18.115-7.82052,18.115-13.68906,0-9.67413-9.16092-12.3499-18.83632-14.92227-10.80648-2.986-22.33424-6.07282-22.33424-18.73292,0-11.22008,10.08648-18.32184,22.541-18.32184,10.292,0,17.90825,3.60384,23.26105,9.67413l-3.91152,4.32512c-4.94046-5.96942-11.93883-8.64771-19.65846-8.64771-9.16093,0-16.05715,5.25066-16.05715,12.6601,0,8.13071,8.543,10.49881,17.90951,12.9703,11.11668,3.19025,23.261,6.69069,23.261,20.584,0,8.852-5.866,19.45419-24.3934,19.45419C849.97491,455.8631,841.43186,451.33371,836.18246,444.95322Z' fill='%2314003b'/%3E%3C/g%3E%3C/g%3E%3C/svg%3E%0A"); + background-image: url("data:image/svg+xml,%3Csvg id='Layer_1' data-name='Layer 1' xmlns='http://www.w3.org/2000/svg' xmlns:xlink='http://www.w3.org/1999/xlink' viewBox='0 0 1000 600'%3E%3Cdefs%3E%3ClinearGradient id='linear-gradient' x1='286.10097' y1='345.8907' x2='136.61561' y2='158.50163' gradientUnits='userSpaceOnUse'%3E%3Cstop offset='0.0914' stop-color='%230b8fff'/%3E%3Cstop offset='0.2077' stop-color='%230d94f6'/%3E%3Cstop offset='0.39603' stop-color='%2311a3de'/%3E%3Cstop offset='0.63282' stop-color='%2318bbb7'/%3E%3Cstop offset='0.87097' stop-color='%2321d789'/%3E%3C/linearGradient%3E%3ClinearGradient id='linear-gradient-2' x1='217.493' y1='294.52798' x2='284.26524' y2='114.9648' gradientUnits='userSpaceOnUse'%3E%3Cstop offset='0.12297' stop-color='%2321d789'/%3E%3Cstop offset='0.13191' stop-color='%2327d788'/%3E%3Cstop offset='0.21553' stop-color='%2359d87b'/%3E%3Cstop offset='0.30328' stop-color='%2385d970'/%3E%3Cstop offset='0.39353' stop-color='%23abda67'/%3E%3Cstop offset='0.487' stop-color='%23cadb5f'/%3E%3Cstop offset='0.58469' stop-color='%23e1db59'/%3E%3Cstop offset='0.68842' stop-color='%23f2dc55'/%3E%3Cstop offset='0.80231' stop-color='%23fcdc53'/%3E%3Cstop offset='0.94595' stop-color='%23ffdc52'/%3E%3C/linearGradient%3E%3C/defs%3E%3Ctitle%3EMPS_Coderules%3C/title%3E%3Cg%3E%3Cg%3E%3Cg%3E%3Cpolygon points='303.441 342.787 303.441 146.857 246.156 285.502 107.511 146.858 107.511 342.787 303.441 342.787 303.441 342.787 303.441 342.787' fill='url(%23linear-gradient)'/%3E%3Cpolygon id='_Path_' data-name='<Path>' points='249.935 289.281 205.04 244.558 303.441 146.857 249.935 289.281' fill='url(%23linear-gradient-2)'/%3E%3C/g%3E%3Cg id='_Group_' data-name='<Group>'%3E%3Cpath id='_Compound_Path_' data-name='<Compound Path>' d='M376.12008,147.72024H422.544l51.45765,82.77816,51.45764-82.77816h46.42392V343.48335H529.09494V215.67709l-55.09329,83.6188h-1.11823l-54.53474-82.77816V343.48335h-42.2286Z'/%3E%3Cpath id='_Compound_Path_2' data-name='<Compound Path>' d='M585.85377,147.72024h79.98316c46.70376,0,74.94944,27.68712,74.94944,67.67814v.55742c0,45.30682-35.23714,68.79749-79.14364,68.79749H628.92189v58.73006H585.85377Zm77.187,98.71882c21.534,0,34.11891-12.86356,34.11891-29.64262v-.55967c0-19.29648-13.42437-29.64487-34.95843-29.64487H628.92189v59.84716Z'/%3E%3Cpath id='_Compound_Path_3' data-name='<Compound Path>' d='M738.70029,314.95783l25.44954-30.48325c17.61857,14.54259,36.07665,23.77163,58.45023,23.77163,17.61744,0,28.24455-6.99033,28.24455-18.45808v-.55967c0-10.90808-6.71162-16.50034-39.43134-24.88875-39.43247-10.06968-64.882-20.9755-64.882-59.84716v-.56192c0-35.51585,28.52552-59.00652,68.51654-59.00652,28.52551,0,52.85683,8.94808,72.713,24.88874l-22.37357,32.441c-17.33873-12.02518-34.39875-19.29648-50.89684-19.29648-16.50147,0-25.17083,7.55-25.17083,17.05777v.56193c0,12.86356,8.38952,17.05776,42.2286,25.72713,39.7123,10.34839,62.08587,24.61227,62.08587,58.73v.55968c0,38.87166-29.64487,60.68555-71.87459,60.68555A124.57063,124.57063,0,0,1,738.70029,314.95783Z'/%3E%3C/g%3E%3C/g%3E%3Cg%3E%3Cpath d='M106.83938,420.35176c0-21.09849,15.33587-35.50881,34.79007-35.50881a30.96663,30.96663,0,0,1,25.01,12.14562l-4.94047,3.19025a24.94616,24.94616,0,0,0-20.06954-9.98433c-16.16055,0-28.61386,12.249-28.61386,30.15727,0,17.704,12.45331,30.15728,28.61386,30.15728a24.944,24.944,0,0,0,20.06954-9.98182l4.94047,3.08685c-6.07282,7.51284-14.10013,12.249-25.01,12.249C122.17525,455.8631,106.83938,441.45277,106.83938,420.35176Z' fill='%2314003b'/%3E%3Cpath d='M196.57985,420.35176c0-20.06954,13.17458-35.50881,33.34878-35.50881,20.07081,0,33.34753,15.43927,33.34753,35.50881,0,20.07207-13.27672,35.51134-33.34753,35.51134C209.75443,455.8631,196.57985,440.42383,196.57985,420.35176Zm60.52135,0c0-17.49717-10.70434-30.15727-27.17257-30.15727-16.67376,0-27.17257,12.6601-27.17257,30.15727,0,17.2929,10.49881,30.15728,27.17257,30.15728C246.39686,450.509,257.1012,437.64466,257.1012,420.35176Z' fill='%2314003b'/%3E%3Cpath d='M298.36129,454.62735V385.97529h21.92317c21.30529,0,34.68666,15.54268,34.68666,34.37647,0,19.04312-13.38137,34.27559-34.68666,34.27559Zm50.43362-34.27559c0-16.05462-10.292-29.02492-28.51045-29.02492H304.22857v57.949h16.05589C338.3995,449.27581,348.79491,436.40891,348.79491,420.35176Z' fill='%2314003b'/%3E%3Cpath d='M390.1584,454.62735V385.97529h43.53739v5.35155H396.02441v25.4236h36.95137V422.102H396.02441v27.17383h37.67138v5.35154Z' fill='%2314003b'/%3E%3Cpath d='M556.26427,454.62735l-19.2474-28.407H521.88653v28.407h-5.866V385.97529H541.6484c11.8367,0,20.89422,7.51284,20.89422,20.07207,0,12.4533-8.85073,19.34827-19.0406,19.76186l19.864,28.81813Zm.10339-48.58c0-8.64771-6.17621-14.72052-15.23373-14.72052h-19.2474v29.5394h19.2474C550.19145,420.86624,556.36766,414.69254,556.36766,406.04736Z' fill='%2314003b'/%3E%3Cpath d='M597.73367,428.2782V385.97529h5.96942V428.1748c0,13.89585,7.30856,22.33424,20.79082,22.33424,13.58691,0,20.79207-8.43839,20.79207-22.33424V385.97529h5.96942V428.2782c0,16.98269-9.05752,27.5849-26.76149,27.5849C606.89334,455.8631,597.73367,445.15749,597.73367,428.2782Z' fill='%2314003b'/%3E%3Cpath d='M688.91417,454.62735V385.97529h5.866v63.30052h33.24539v5.35154Z' fill='%2314003b'/%3E%3Cpath d='M761.36553,454.62735V385.97529h43.53739v5.35155H767.2328v25.4236h36.95011V422.102H767.2328v27.17383h37.67012v5.35154Z' fill='%2314003b'/%3E%3Cpath d='M836.18246,444.95322l3.80812-4.426a27.98291,27.98291,0,0,0,21.40869,9.98182c14.10013,0,18.115-7.82052,18.115-13.68906,0-9.67413-9.16092-12.3499-18.83632-14.92227-10.80648-2.986-22.33424-6.07282-22.33424-18.73292,0-11.22008,10.08648-18.32184,22.541-18.32184,10.292,0,17.90825,3.60384,23.26105,9.67413l-3.91152,4.32512c-4.94046-5.96942-11.93883-8.64771-19.65846-8.64771-9.16093,0-16.05715,5.25066-16.05715,12.6601,0,8.13071,8.543,10.49881,17.90951,12.9703,11.11668,3.19025,23.261,6.69069,23.261,20.584,0,8.852-5.866,19.45419-24.3934,19.45419C849.97491,455.8631,841.43186,451.33371,836.18246,444.95322Z' fill='%2314003b'/%3E%3C/g%3E%3C/g%3E%3C/svg%3E%0A"); } .mdl-logo { diff --git a/docs/_config.yml b/docs/_config.yml index 68be52a9..0f314b54 100644 --- a/docs/_config.yml +++ b/docs/_config.yml @@ -1,5 +1,5 @@ # Site settings -title: MPS CodeRules +title: MPS Coderules email: fedor.isakov@jetbrains.com description: >- # this means to ignore newlines until "baseurl:" Coderules is a language framework and runtime for running logical diff --git a/docs/content/about.md b/docs/content/about.md index 7c924d1d..71ea9cdd 100644 --- a/docs/content/about.md +++ b/docs/content/about.md @@ -6,7 +6,7 @@ layout: page permalink: :basename --- -## MPS CodeRules +## About Coderules Type inference and type checking is a problematic area for language authors — users of [JetBrains MPS](https://jetbrains.com/mps), because of inherent intricacies of the problem itself and sometimes less than adequate support from the framework.