ML IDE и компилятор для Windows или Linux или Mac
Попробуйте:
.container {
display: inline-block;
width: 64px;
height: 64px;
perspective: 700px;
}
.icon, .icon-one, .icon-two{
position: absolute;
transition: all .5s;
transform-style: preserve-3d;
backface-visibility: hidden;
width:50px;
height:50px;
}
}
.icon-wrap .icon-one{
width:150px;
height:150px;
transform:translate(0%,0%);}
/* ::: HOVER EFFECTS (Remove Automated for this to work) */
.icon-wrap:hover .icon{ transform: translate(0%,0%); }
/* ::: AUTOMATED EFFECTS */
.icon-wrap .icon{
animation: icon-wrap 5s 1s infinite alternate ease-in-out;
-webkit-animation: icon-wrap 5s 1s infinite alternate ease-in-out;
}
@keyframes icon-wrap {
0% { transform:translate(0%,0%); }
100% { transform: translate(40%,40%)scale(2);
width:150px;
height:150px;
}
}
@-webkit-keyframes icon-wrap {
0% { transform: translate(0%,0%); }
100% { transform: translate(40%,40%) scale(2);
width:150px;
height:150px; }
}<div class="container icon-wrap">
<div class="icon">
<div class="icon-one">
<a href="-----.html">
<img src="https://www.google.co.in/images/branding/googlelogo/1x/googlelogo_color_272x92dp.png">
</a>
</div>
</div>
</div>
.container {
display: inline-block;
width: 64px;
height: 64px;
perspective: 700px;
}
.icon, .icon-one, .icon-two{
position: absolute;
transition: all .5s;
transform-style: preserve-3d;
backface-visibility: hidden;
width:50px;
height:50px;
}
}
.icon-wrap .icon-one{
width:150px;
height:150px;
transform:translate(40%,40%)scale(2);}
/* ::: HOVER EFFECTS (Remove Automated for this to work) */
.icon-wrap:hover .icon{ transform: translate(40%,40%)scale(2); }
/* ::: AUTOMATED EFFECTS */
.icon-wrap .icon{
animation: icon-wrap 5s 1s infinite alternate ease-in-out;
-webkit-animation: icon-wrap 5s 1s infinite alternate ease-in-out;
}
<div class="container icon-wrap">
<div class="icon">
<div class="icon-one">
<a href="-----.html">
<img src="https://www.google.co.in/images/branding/googlelogo/1x/googlelogo_color_272x92dp.png">
</a>
</div>
</div>
</div>3 ответа
Вы можете использовать Isabelle / jEdit в качестве IDE для Isabelle / ML или официального стандарта ML (SML'97). Базовой системой ML является Poly / ML , которая отличается поддержкой многоядерного оборудования.
Строго говоря, среда Изабель предназначена для интерактивного и автоматического доказательства теорем, но ее поддержка SML IDE довольно сложна: исходные файлы статически проверяются и семантически оцениваются во время редактирования пользователем. Аннотированные источники содержат разметку о предполагаемых типах, ссылки на определения позиций элементов и т. Д.
Для быстрого ознакомления см. Панель «Документация», раздел «Примеры», запись src/Tools/SML/Examples.thy (по состоянию на Isabelle2014).
Для SML существует несколько режимов Emacs. Проверьте http://mlton.org/Emacs для получения дополнительной информации.
Режим sml должен обеспечить хорошую среду для написания SML кода. Eclipse & Co. были разработаны в связи с тем, что java требует много элементов boilerplate, таких как аксессуары, адаптеры и так далее. Если вам нужны те же возможности для ML, то вы должны перепроверить, не переусердствуете ли вы в инжиниринге.
Правка: и, кстати, SMLNJ поставляется с плагином затмения. Я не могу разместить ссылку, просто google для smlnj eclipse .
При работе с SML в Windows я использую SML / NJ для компиляции и Notepad ++ для редактирования (Notepad ++ имеет синтаксис-раскрашивание для CAML, который должен быть идентичен SML для ваших нужд).
Как уже упоминалось, для ML простой редактор должен быть достаточно.