Atum, sometimes rendered as Atem or Tem, is an important deity in Egyptian mythology. Atum's name is thought to be derived from the verb tm which means'to complete' or'to finish', thus he has been interpreted as being the "complete one" and the finisher of the world, which he returns to watery chaos at the end of the creative cycle. As creator he was seen as the underlying substance of the world, the deities and all things being made of his flesh or alternatively being his ka. Atum is one of the most important and mentioned deities from earliest times, as evidenced by his prominence in the Pyramid Texts, where he is portrayed as both a creator and father to the king. In the Heliopolitan creation myth, Atum was considered to be the first god, having created himself, sitting on a mound, from the primordial waters. Early myths state that Atum created the god Shu and goddess Tefnut by spitting them out of his mouth. Atum did so through masturbation, with the hand he used in this act representing the female principle inherent within him.

Other interpretations state. In the Old Kingdom, the Egyptians believed that Atum lifted the dead king's soul from his pyramid to the starry heavens, he was a solar deity, associated with the primary sun god Ra. Atum was linked with the evening sun, while Ra or the linked god Khepri were connected with the sun at morning and midday. In the Book of the Dead, still current in the Graeco-Roman period, the sun god Atum is said to have ascended from chaos-waters with the appearance of a snake, the animal renewing itself every morning. Atum is the god of post-existence. In the binary solar cycle, the serpentine Atum is contrasted with the scarab-headed god Khepri—the young sun god, whose name is derived from the Egyptian hpr "to come into existence". Khepri-Atum encompassed sunset, thus reflecting the entire cycle of morning and evening. Atum was a self-created deity, the first being to emerge from the darkness and endless watery abyss that existed before creation. A product of the energy and matter contained in this chaos, he created his children—the first deities, out of loneliness.

He produced from his own sneeze, or in some accounts, Shu, the god of air, Tefnut, the goddess of moisture. The brother and sister, curious about the primeval waters that surrounded them, went to explore the waters and disappeared into the darkness. Unable to bear his loss, Atum sent the Eye of Ra, to find his children; the tears of joy he shed upon their return were the first human beings. Atum is depicted as a man wearing either the royal head-cloth or the dual white and red crown of Upper and Lower Egypt, reinforcing his connection with kingship. Sometimes he is shown as a serpent, the form he returns to at the end of the creative cycle, occasionally as a mongoose, bull, lizard, or ape. Atum's worship centered on the city of Heliopolis; the only surviving remnant of Heliopolis is the Temple of Re-Atum obelisk located in Al-Masalla of Al-Matariyyah, Cairo. It was erected by Senusret I of the Twelfth Dynasty, still stands in its original position; the 68 ft high red granite obelisk weighs the weight of about 20 African elephants.

List of solar deities Animal mummy #Miscellaneous animals Myśliwiec, Karol. Studien zum Gott Atum. Band I, Die heiligen Tiere des Atum. Gerstenberg. ISBN 978-3806780338. Myśliwiec, Karol. Studien zum Gott Atum. Band II, Epitheta, Ikonographie. Gerstenberg. ISBN 978-3806780406

Ormoc the City of Ormoc or referred to as Ormoc City, is a 1st class independent component city in the province of Leyte in the region of Eastern Visayas of the Philippines. According to the 2015 census, it has a population of 215,031 inhabitants, making it the second most-populous city in the province after the provincial capital, Tacloban City. Ormoc is the economic, cultural and transportation hub of western Leyte. Ormoc City is an independent component city, not subject to regulation from the Provincial Government of Leyte. However, the city is part of the 4th Congressional District of Leyte together with Albuera, Merida and Isabel, statistically grouped under the province by the Philippine Statistics Authority. On November 8, 2013, the city was extensively damaged by Super Typhoon Yolanda, having suffered severe destruction and loss of life in 1991 from torrential flooding during Tropical Storm Thelma; the city's name is derived from ogmok, an archaic Visayan term for "lowland" or "depressed plain".

The city celebrates an annual thanksgiving festival called the Piña Festivalin honor to Sts. Peter and Paul for the bountiful harvest of Pineapple. Ormoc City is a port city and is the largest city in Leyte by land area and the second largest in Eastern Visayas after Calbayog City in Samar. At the head of Ormoc Bay, the city's terrain is of rolling plains, it is bounded on the northwest by the towns of Matag-ob and Merida, in the north by Kananga, in the northeast by the towns of Jaro and Dagami, in the south by the town of Albuera. High mountain ranges separate Ormoc from the eastern portion of Leyte. Numerous rivers and streams traverse Ormoc. Among them are the Bao River in the north, Pagsangahan River in the west, the Bagong-bong River in the south, the Panilahan River in the south and the Anilao and Malbasag Rivers which border the eastern and western flanks of Ormoc City Proper. Ormoc City is politically subdivided into 110 barangays. Kananga was created in 1950 from the barrios of Lonoy, Rizal, Montebello, Tagaytay, Libungao and Masarayao which all used to be part of Ormoc City.

On the morning of 5 November 1991, the Ormoc region was inundated by Tropical Storm Uring. The city government recorded 4,922 deaths, 3,000 missing persons, 14,000 destroyed houses and more than P600 million worth of damaged property. None of the 3,000 missing persons were found and are now presumed dead. Illegal logging and kaingin were blamed as the reasons of the flood. Heavy rainfall caused water to collect upstream the Anilao and Malbasag rivers until it poured to the lowlands in Ormoc District 26 known as Isla Verde. According to Roderick Caballero Deiparine, on 5 November 2011, a monument by national artist Francis Cinco commemorating the 20th anniversary of the event was inaugurated, it sits on top of the mass grave at the Ormoc City Public Cemetery where an estimated 4,900 victims are buried. The sculpture, entitled "Gift of Life", is an abstract depicting a life taken to heaven. A fire at the Unitop store killed 25 people on Christmas day; the fire started from pyrotechnics that were ignited near the entrance door.

The store did not have a permit to sell firecrackers and emergency exits were locked. The charred remains of the victims were found inside a bathroom, where they tried to escape from the blaze; the natives of this city are called Ormocanons, with most being Cebuano speakers, as with the whole western and southern parts of the island of Leyte. A definite number of Waray speakers is present within the city. Like most Filipinos, Ormocanons are predominantly Roman Catholic, the city celebrates its annual fiesta in honour of the patron saints Saint Peter and Saint Paul on June 28 and 29. Other main Catholic holy days, including the local fiestas of barangays, are observed throughout the year. There is a visible Muslim minority within the city and all over the island, evidenced by the mosques within the cityscape and most of them are Maranaos from the twin provinces of Lanao del Norte and Lanao del Sur in Mindanao. Ormoc City's economic base is a mix of agriculture, industry and commercial services.

Sugar cane and pineapple are the major agricultural production. The city enjoys economic growth because it supplies a large part of the country's power needs with its abundant geothermal power resources from the Tongonan Geothermal Power Plant in Barangay Tongonan and the neighbouring Kananga town. Ormoc is the gateway to the Leyte Industrial Development Estate in the nearby town of Isabel, home of the Philippine Phosphate Fertilizer Plant, the largest fertilizer factory in Asia, the Philippine Associated Smelter and Refining Company, the country's biggest copper processing plant, among other industries. Ormoc is the educational center for western Leyte, it has a range of primary and secondary schools, both private. Tertiary education was offered by St. Peter's College of Ormoc, a Benedictine-run Catholic college and the oldest, followed by Western Leyte College of Ormoc City, Inc. a private non-sectarian college. In the 1990s, the city saw the establishment of Santo Niño College of Ormoc, St. Paul's School of Ormoc Foundation, Inc. and the STI Computer College - Ormoc.

In the 2000s, tertiary institutions founded were AMA Computer Learning Center - Ormoc, San Lorenzo Ruiz College of Ormoc, Ormoc City Institute of Technology and the Ormoc campus of the Eastern Visayas State University. Ormoc has their own Chinese school, Ormoc Se San School. Among sites visited by the city's tourist are: Lake Danao is a violin

In functional programming, a generalized algebraic data type is a generalization of parametric algebraic data types. In a GADT, the product constructors can provide an explicit instantiation of the ADT as the type instantiation of their return value; this allows defining functions with a more advanced type behaviour. For a data constructor of Haskell 2010, the return value has the type instantiation implied by the instantiation of the ADT parameters at the constructor's application, they are implemented in the GHC compiler as a non-standard extension, used by, among others and Darcs. OCaml supports GADT natively since version 4.00. The GHC implementation provides support for existentially quantified type parameters and for local constraints. An early version of generalized algebraic data types were described by Augustsson & Petersson and based on pattern matching in ALF. Generalized algebraic data types were introduced independently by Cheney & Hinze and prior by Xi, Chen & Chen as extensions to ML's and Haskell's algebraic data types.

Both are equivalent to each other. They are similar to the inductive families of data types found in Coq's Calculus of Inductive Constructions and other dependently typed languages, modulo the dependent types and except that the latter have an additional positivity restriction, not enforced in GADTs. Sulzmann, Wazny & Stuckey introduced extended algebraic data types which combine GADTs together with the existential data types and type class constraints introduced by Perry, Läufer & Odersky and Läufer. Type inference in the absence of any programmer supplied type annotations is undecidable and functions defined over GADTs do not admit principal types in general. Type reconstruction is an area of active research. Applications of GADTs include generic programming, modelling programming languages, maintaining invariants in data structures, expressing constraints in embedded domain-specific languages, modelling objects. An important application of GADTs is to embed higher-order abstract syntax in a type safe fashion.

Here is an embedding of the typed lambda calculus with an arbitrary collection of base types, tuples and a fixed point combinator: And a type safe evaluation function: The factorial function can now be written as: We would have run into problems using regular algebraic data types. Dropping the type parameter would have made the lifted base types existentially quantified, making it impossible to write the evaluator. With a type parameter we would still be restricted to a single base type. Furthermore, ill-formed expressions such as App would have been possible to construct, while they are type incorrect using the GADT. A well-formed analogue is App; this is. Type variable Generalised Algebraic Datatype Page on the Haskell wiki Generalised Algebraic Data Types in the GHC Users' Guide Generalized Algebraic Data Types and Object-Oriented Programming GADTs – Haskell Prime – Trac Papers about type inference for GADTs, bibliography by Simon Peyton Jones Type inference with constraints, bibliography by Simon Peyton Jones Emulating GADTs in Java via the Yoneda lemma

Luck Key is a 2016 South Korean action comedy film directed by Lee Gae-byok, starring Yoo Hae-jin in the lead role. It is a remake of the 2012 Japanese comedy film Key of Life. Jae-sung, an aspiring actor who has hit rock bottom, prepares to commit a suicide. After his landlady insults him, he first cleans himself at a public sauna. Hyung-wook, a notorious assassin, cleans himself at the same sauna after killing a target. Hyung-wook slips on a soap Jae-sung accidentally passes out. Remembering Hyung-wook's luxurious look, Jae-sung switches his locker key with Hyung-wook's and steals his car and money. Feeling guilty, Jae-sung tries to return everything to Hyung-wook, recuperating in the emergency room; when Jae-sung finds that Hyung-wook does not remember anything due to a concussion, he leaves without telling Hyung-wook anything. While Jae-sung enjoys Hyung-wook's money and fancy apartment, Hyung-wook struggles to remember his identity, assuming he is Jae-sung because of the locker key. Hyung-wook can not pay his hospital bill, so Lina, a paramedic, pays it for him after he promises to pay her back.

When Hyung-wook realizes he is bankrupt, Lina finds him a job at her mom's small restaurant. With his amazing knife skills, Hyung-wook becomes the main chef, drawing many customers for the restaurant, he finds a marked date on a calendar with a location and learns that he is an actor, supposed to appear in a gangster-themed TV show as an extra. Though he struggles as an actor, Hyung-wook excels in action scenes thanks to his real life skills, his role in the show becomes more significant with Lina's help. Hyung-wook and Lina find themselves liking each other. Meantime in Hyung-wook's apartment, Jae-sung discovers a secret room and thinks that Hyung-wook is an undercover cop protecting a witness named Eun-joo, who lives in the same building. Jae-sung watches over her and, over time, falls in love with her. One day, Jae-sung answers a phone call to Hyung-wook and meets with businessmen who ask him why Eun-joo is still alive. Jae-sung realizes that Hyung-wook is an assassin hired to kill Eun-joo. After a picnic with Lina's family, Hyung-wook recovers his memory and finds Jae-sung and Eun-joo in his own apartment.

Hyung-wook reveals to Jae-sung that he is not a real assassin and that he has been trying to give a new life to assassination victims by faking their death and sharing the money he makes. Hyung-wook, Jae-sung, Eun-joo devise a new plan for themselves so that they can start a new clean life. Hyung-wook tells Lina that they leaves. Heartbroken, Lina follows him to a place where Hyung-wook, Jae-sung, Eun-joo are trying to fake their own deaths in front of the people who hired Hyung-wook. Lina's unexpected interference ruins the plan; the businessmen leave. Hyung-wook tells Lina who he is and apologizes. Lina, not sure, takes him to the set of the TV show to finish the final scene. On the set, Hyung-wook confesses his feelings to Lina, who accepts him. Jae-sung and Hyung-wook star together in a new TV show. Yoo Hae-jin as Choi Hyung-wook A ruthless contract killer who goes through a memory loss and lives a life of an ordinary man trying to regain his memory while working part time jobs as a kitchen hand and action movie actor.

Lee Joon as Yoon Jae-sungA 32 year-old unknown actor who suffers from poverty, until he deliberately switch identities with Choi Hyung-wook and begins to live a lavish lifestyle. Jo Yoon-hee as Kang Ri-naA paramedic who settles the hospital bills of Choi Hyung-wook and find him a part time job at her family restaurant, she takes care of Choi during his difficult time trying to regain his memory and supports his acting career. Lim Ji-yeon as Song Eun-jooAn important witness, asked to be killed, she lives in the same apartment complex as Yoon Jae-sung. After learning the truth Yoon builds romantic feelings. Jo Han-chul as Il-sung Kim Min-sang as Movie Director Cha Yeop as Assistant Director Kim Ji-an as Kang Yoo-na Sung Byung-sook as Kang Ri-na's mother Park Seung-tae as Kang Ri-na's grandmother The distribution rights of this movie was sold to nine countries including: China, Vietnam, the Philippines, the U. S. A and Great Britain prior to its local release on October 13, 2016. Luck Key sold 1 million tickets in just three days of its opening.

During the five days since the opening the movie attracted 2.02 million audience, earning an income of US$14.7 millionAfter four weekends since the movie was released Luck Key earned a total of US$45.3 million. At the end of its run the film grossed US$47.4 million in total. Luck Key at the Korean Movie Database Luck Key at HanCinema

The West Japan Industrial Club is in Tobata ward, Kitakyushu. It is his only surviving private house; the building is a national cultural asset, open to the public twice a year. There is a Japanese style house attached to the main house; the house was built for Matsumoto Kenjiro, a wealthy industrialist and founded nearby Kyushu Institute of Technology. There is a restaurant and concerts are held here, it was the site of one scene from the 2003 movie about Richard Sorge called Spy Sorge. Dallas Finn, Meiji Revisited: The Sites of Victorian Japan, Weatherhill, 1995 ISBN 978-0-8348-0288-9

Aroona Dam is a reservoir in the Australian state of South Australia located in the gazetted locality of Leigh Creek about 5 kilometres west of the locality’s town centre. The dam consists of a concrete gravity dam of a height of 24 metres and a width of 236 metres which holds back a lake of a volume of 7,500 megalitres and which extends for a distance about 3.5 kilometres to the east of the dam wall. The origin of its name is not mentioned in sources. However, the word ‘Aroona’ is listed in the official government place name gazetteer as the name of some geographic features either adjoining the dam or located within its extent. A mountain, Mount Aroona, is located in the ridge on the north side of the dam’s lake. A former water feature is now located “under the waters of the Aroona Dam” is named as the Aroona Waterhole as well as having the Adnyamathanha name of Arrunha Awi, it was designed and built by the Electricity Trust of South Australia from 1952 to 1957 by damming the Arrunha Creek and using a labour force consisting of immigrants engaged by contract for two-years and which peaked at a maximum of 160 men.

Two shifts were scheduled during the winter months while concrete pouring was not conducted between November and March due to “extreme heat.”Its original purpose was to supply the original town of Leigh Creek and the Leigh Creek Coalfield, relying on artesian water from Sliding Creek located about 45 kilometres south-east of the current town of Leigh Creek. In 2004, it was reported as storing and supplying water to “Leigh Creek and Lyndhurst, the coalfield and several neighbouring pastoral properties” and this was being augmented in respect to Leigh Creek by water from a flooded mine at Sliding Rock. However, in late 2016, it was advised that “water from Aroona dam will not be used for the town water supply” and that artesian water treated in a reverse osmosis desalination plant located near the Leigh Creek township would be used. In 1995, it and adjoining land covering an area of 43 square kilometres were declared as a sanctuary under the National Parks and Wildlife Act 1972 known as the Aroona Sanctuary.

In April 2017, in conjunction with initiatives underway for the future re-use of the Leigh Creek township after the closure of the Leigh Creek Coalfield in November 2015, the South Australian government commenced a study to investigate the “potential for shore-based recreational fishing access.” List of reservoirs and dams in Australia Mountain Spring, The Flinders Range produced by the Commonwealth Film Unit in 1956.