using Microsoft.Contracts; // needed for [SpecPublic] annotation
class Counter {
[SpecPublic] private int x;
public void Inc()
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
:root { | |
--ease-in-quad: cubic-bezier(.55, .085, .68, .53); | |
--ease-in-cubic: cubic-bezier(.550, .055, .675, .19); | |
--ease-in-quart: cubic-bezier(.895, .03, .685, .22); | |
--ease-in-quint: cubic-bezier(.755, .05, .855, .06); | |
--ease-in-expo: cubic-bezier(.95, .05, .795, .035); | |
--ease-in-circ: cubic-bezier(.6, .04, .98, .335); | |
--ease-out-quad: cubic-bezier(.25, .46, .45, .94); | |
--ease-out-cubic: cubic-bezier(.215, .61, .355, 1); |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
/* | |
* Easing Functions - inspired from http://gizma.com/easing/ | |
* only considering the t value for the range [0, 1] => [0, 1] | |
*/ | |
EasingFunctions = { | |
// no easing, no acceleration | |
linear: function (t) { return t }, | |
// accelerating from zero velocity | |
easeInQuad: function (t) { return t*t }, | |
// decelerating to zero velocity |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
<div id="step2" class="upload-page" style=""> | |
<h3>¢—ÈπµÕπ∑’Ë 2 Õ—æ‚À≈¥√Ÿªºπ—ß</h3> | |
<h4>‡µ√’¬¡¿“æ∂Ë“¬</h4> | |
<ol> | |
<li>¥“«πÏ‚À≈¥√Ÿª —≠≈—°…≥Ï ·≈–æ‘¡æÏ„π°√–¥“… A4 (<a href="/Content/images/symbol-page-001.jpg" target="_blank">click</a>)</li> | |
<li>µ‘¥°√–¥“… A4 ∑’Ë¡’√Ÿª —≠≈—°…≥Ï∑’˺π—ß</li> | |
- ∂Ë“¬√Ÿªºπ—ß(∑—Èß 4 ºπ—ß)∑’˵‘¥°√–¥“… A4 ‚¥¬„ÀȇÀÁπ‡æ¥“π·≈–æ◊ÈπÀÈÕß √«¡∑—ÈߢÕ∫¥È“π´È“¬·≈–¥È“π¢«“¢Õߺπ—ß (<a href="/Content/images/picturearea.png" target="_blank">µ—«Õ¬Ë“ß</a>) <br> - °√≥’∑’ˉ¡Ë “¡“√∂∂Ë“¬√Ÿª∑—ÈßÀ¡¥‰¥È¿“¬„π 1 ¿“æ „ÀÈ√«¡√Ÿª‰«È„π 1 √Ÿª‚¥¬„™È‚ª√·°√¡√«¡√Ÿª µ—«Õ¬Ë“߇™Ë𠂪√·°√¡ AutoStitch (<a href="https://itunes.apple.com/th/app/autostitch-panorama/id318944927?mt=8" target="_blank">iOS</a>) (<a href="https://play.google.com/store/apps/details?id=com.cloudburstresearch.autostitch&hl=th" target="_blank">Android</a>) ‡ªÁπµÈπ | |
</ol> | |
<div id="headerWall1"> | |
<h3>ÀÈÕß : ¥¥¥ </h3> |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
<!DOCTYPE html> | |
<html> | |
<head> | |
<meta charset=utf-8 /> | |
<title>Oozou in pure css!</title> | |
<style> | |
body { | |
background: #FFF; | |
} | |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
javascript:(function(){var a=window,b=document,c=encodeURIComponent,d=a.open('http://www.google.com/bookmarks/mark?op=edit&output=popup&bkmk='+c((b.location.protocol + '//' + b.location.host + b.location.pathname))+'&title='+c(b.title),'bkmk_popup','left='+((a.screenX||a.screenLeft)+10)+',top='+((a.screenY||a.screenTop)+10)+',height=620px,width=550px,resizable=1,alwaysRaised=1');a.setTimeout(function(){d.focus()},300)})(); |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
PROMPT=' | |
%{$fg[cyan]%}%d %{$fg_bold[blue]%}$(git_prompt_info) | |
%{$fg_bold[red]%}$ %{$reset_color%}' | |
ZSH_THEME_GIT_PROMPT_PREFIX="git:(%{$fg[red]%}" | |
ZSH_THEME_GIT_PROMPT_SUFFIX="%{$reset_color%}" | |
ZSH_THEME_GIT_PROMPT_DIRTY="%{$fg[blue]%}) %{$fg[yellow]%}✗%{$reset_color%}" | |
ZSH_THEME_GIT_PROMPT_CLEAN="%{$fg[blue]%})" |