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
-------------------------- MODULE DullReservation -------------------------- | |
EXTENDS Naturals, FiniteSets | |
VARIABLE reservations | |
Coaches == { "A", "B" } | |
SeatNumbers == 1..10 | |
Seats == Coaches \X SeatNumbers | |
70PercentTrainOccupation == (70 * Cardinality(Seats)) \div 100 |
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
-------------------------- MODULE DullReservation -------------------------- | |
EXTENDS Naturals, FiniteSets | |
VARIABLE reservations | |
Coaches == { "A", "B" } | |
SeatNumbers == 1..10 | |
Seats == Coaches \X SeatNumbers | |
70PercentTrainOccupation == (70 * Cardinality(Seats)) \div 100 |
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
-------------------------- MODULE LessDullReservation -------------------------- | |
EXTENDS Naturals, FiniteSets | |
VARIABLE reservations | |
Coaches == { "A", "B" } | |
SeatNumbers == 1..10 | |
Seats == Coaches \X SeatNumbers | |
70PercentTrainOccupation == (70 * Cardinality(Seats)) \div 100 |
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
-------------------------- MODULE DullReservation -------------------------- | |
EXTENDS Naturals | |
VARIABLE reservations | |
Coaches == { "A", "B" } | |
SeatNumbers == 1..10 | |
Seats == Coaches \X SeatNumbers | |
---- |
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
open util/ordering [Time] | |
sig Time {} | |
abstract sig Item { | |
sellIn: Int one -> Time, | |
quality: Quality one -> Time | |
} | |
one sig AgedBrie extends Item {} | |
one sig BackstagePass extends Item {} |
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
open util/ordering [Time] | |
sig Time {} | |
abstract sig Item { | |
quality: Int one -> Time, | |
sellIn: Int one -> Time | |
} | |
sig AgedBrie extends Item {} | |
sig BackstagePass extends Item {} |
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
# This file has been auto-generated by i3-config-wizard(1). | |
# It will not be overwritten, so edit it as you like. | |
# | |
# Should you change your keyboard layout some time, delete | |
# this file and re-run i3-config-wizard(1). | |
# | |
# i3 config file (v4) | |
# | |
# Please see https://i3wm.org/docs/userguide.html for a complete reference! |
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
<bookable yoid="56167d3de4b09d3daa624cea" class="medium-insert-bookable medium-insert-bookable-wide" data-href="/stories/emily-crook/most-epic-destinations-for-crazy-spring-break-in-2016/5705/activities/ACT3013"> | |
<figure data-click="/stories/emily-crook/most-epic-destinations-for-crazy-spring-break-in-2016/5705/activities/ACT3013" data-mp-event="Clicked Book Now" data-mp-type="BookableActivity" data-mp-url="/stories/emily-crook/most-epic-destinations-for-crazy-spring-break-in-2016/5705/activities/ACT3013" gtm-action="Navigate to Activity Page" gtm-category="Story Page" gtm-click="" gtm-label="Clicked Hotel Image from Story"> | |
<img src="https://yonderbound.imgix.net/uploads/bookable_activity/pictures/95ce22f3-a116-4b10-9d12-465a1c4d4d19/img_1444314429422.jpg?ixlib=rails-1.1.0&w=600&h=380&fit=crop&crop=entropy&fm=pjpg&s=35e41823eb8fca3f60df9bd7a6f81891"> | |
</figure> | |
<div class="bookable-info"> | |
<div data-click="/stories/emily-crook/most-epic-destinations-for-crazy-spring-break- |
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
defmodule DrunkMan do | |
def bottle(0), do: "no more bottles" | |
def bottle(1), do: "1 bottle" | |
def bottle(n), do: to_string(n) <>" bottles" | |
def verse(0), do: "No more bottles of beer on the wall, no more bottles of beer. | |
Go to the store and buy some more, 99 bottles of beer on the wall." | |
def verse(n), do: "#{DrunkMan.bottle n} of beer on the wall, #{DrunkMan.bottle n} of beer. | |
Take one down and pass it around, #{DrunkMan.bottle(n - 1)} of beer on the wall.\n" |
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
$ curl -i http://localhost:8181/surv-karaf/monitor.jsp | |
HTTP/1.1 500 Server Error | |
Content-Type: text/html;charset=ISO-8859-1 | |
Cache-Control: must-revalidate,no-cache,no-store | |
Content-Length: 5191 | |
Server: Jetty(8.1.17.v20150415) | |
<html> | |
<head> | |
<meta http-equiv="Content-Type" content="text/html; charset=ISO-8859-1"/> |