X_eTaL documentation

Files

library lib/Board.xtl: Board: square boards as arrays, shared by the games. Rows and columns count from 0; a square's number counts from 1, row by row.
library lib/Play.xtl: Play: reading what a player types at the terminal, shared by the games' play.xtl programs. Every function prints its prompt, reads a line ([]R_EAD) and returns what it found; it never asks again itself (a game decides what is acceptable and asks again).
library lib/State.xtl: State: changing items of a game's state vector, shared by the games.
library lib/Svg.xtl: Svg: pictures written as SVG text, and the clicks on them, shared by the games played by clicking a map (capitals, stargazer). A picture's view v is x, y, width and height in the game's own units (its viewBox); layout is scaled to the view (l:u_nit), so buttons, menus and text look the same at every zoom. Rectangles are rows of x, y, width and height.
library lib/Text.xtl: Text: printing lines, shared by the games.
system macros std/System.xtlm: The system macros (lang-choices MC18, MC19, MC24), loaded before every file with no import and no alias: each is called unprefixed, as "c" i_f< "a; b". A macro is a function of the source text on each side of its call; the text it gives replaces the call. @ on a side means the macro takes nothing there (MC22). What only the compiler knows comes from hooks (MC20), usable only in a macro body.
program games/horse-race/horse-race.xtl
library games/horse-race/HorseRace.xtl: The horse race's rules, a library: horse-race.xtl (a scripted race), play.xtl (at the terminal) and the web page all use these. Five horses, a track of 15; every round each horse runs 1, 2 or 3 at random, all at once: the field is one vector of positions and a round is one expression. The first round in which any horse reaches the finish ends the race; the horses furthest along win (there can be a tie).
program games/horse-race/play.xtl
program games/guess/guess.xtl
library games/guess/NumberGuess.xtl: Guess the number's rules, a library: guess.xtl (scripted games), play.xtl (at the terminal) and the web page all use these. The computer thinks of a number from 1 to 100; each guess is answered higher, lower or correct.
program games/guess/play.xtl
program games/robot-chase/play.xtl
library games/robot-chase/RobotChase.xtl: Robot chase's rules, a library: robot-chase.xtl (scripted), play.xtl (at the terminal) and the web page all use these. A 16 by 16 board, you and 12 robots. Every turn you step (or wait, or teleport), then every robot steps one square toward you, all at once. Robots that land on the same square crash and leave a wreck; a robot that walks into a wreck is destroyed. Clear the board to win; meet a robot or a wreck and you lose. Ported from the COR24 BASIC robot-chase.bas.
program games/robot-chase/robot-chase.xtl
program games/trek-adventure/play.xtl
library games/trek-adventure/TrekAdventure.xtl: Trek adventure's rules, a library: trek-adventure.xtl (a scripted walkthrough), play.xtl (at the terminal) and the web page all use these. "Star Trek: Decaying Orbit": you wake alone on the Enterprise's bridge, its orbit decaying; find the toolkit and the engine coupler, prep the relay in engineering, install the coupler before the turns run out, and deal with the Klingon boarders on the way.
program games/trek-adventure/trek-adventure.xtl
program games/trek/play.xtl
library games/trek/StarTrek.xtl: Star Trek's rules, a library: trek.xtl (scripted), play.xtl (at the terminal) and the web page all use these. The classic Star Trek game as the COR24 BASIC demo plays it: an 8 by 8 galaxy of quadrants, each an 8 by 8 grid of sectors; find and destroy every Klingon before the stardate runs out, with warp and impulse drive, phasers, photon torpedoes and shields.
program games/trek/trek.xtl
program games/tic-tac-toe/play.xtl
library games/tic-tac-toe/TicTacToe.xtl: Tic-tac-toe's rules, a library: tic-tac-toe.xtl (scripted), play.xtl (at the terminal) and the web page all use these. The board is a vector of 9 squares, numbered row by row: 0 empty, 1 X, -1 O. X moves first.
program games/tic-tac-toe/tic-tac-toe.xtl
program games/shut-the-box/play.xtl
library games/shut-the-box/ShutTheBox.xtl: Shut the box's rules, a library: shut-the-box.xtl (scripted), play.xtl (at the terminal) and the web page all use these. Tiles 1 to 9 start open. Each turn roll two dice (one die once the open tiles add up to 6 or less) and shut open tiles adding up to the roll. When no set of open tiles makes the roll, the game is over and the open tiles are the score; shut them all to win.
program games/shut-the-box/shut-the-box.xtl
library games/minesweeper/Mines.xtl: Minesweeper's rules, a library: minesweeper.xtl (scripted), play.xtl (at the terminal) and the web page all use these. A 9 by 9 field hides 10 mines; open a square to see how many mines touch it, flag the ones you think are mines, and open every safe square to win.
program games/minesweeper/minesweeper.xtl
program games/minesweeper/play.xtl
program games/2048/2048.xtl
library games/2048/Twenty48.xtl: 2048's rules, a library: 2048.xtl (scripted), play.xtl (at the terminal) and the web page all use these. Slide the tiles of a 4 by 4 board left, right, up or down; two equal tiles that meet merge into their sum (once a move), and a 2 or a 4 appears on an empty square. Make a 2048 tile; the game ends when no move changes the board.
program games/2048/play.xtl
program games/sudoku/play.xtl
library games/sudoku/SudokuGrid.xtl: Sudoku's rules and a solver, a library: sudoku.xtl (scripted), play.xtl (at the terminal) and the web page all use these. (Named SudokuGrid because a disk that ignores case cannot hold both Sudoku.xtl and sudoku.xtl.) A grid is a vector of 81 digits, row by row, 0 an empty cell. A game's state is the puzzle's givens (81), then the grid as filled so far (81).
program games/sudoku/sudoku.xtl
library games/capitals/Atlas.xtl: The capitals game's rules and its map, a library: capitals.xtl (scripted), play.xtl (the game: a map you click) and the web page all use these. (Named Atlas because a disk that ignores case cannot hold Capitals.xtl beside capitals.xtl.) The data is in two TOML files, read with []L_IST and []T_ABLE: assets/cache/world.toml (Natural Earth's country outlines, national capitals and cities, fetched by assets/fetch.sh, not tracked) and places.toml (the regions, and places of your own). The map is SVG written here.
program games/capitals/capitals.xtl
program games/capitals/play.xtl
program games/stargazer/play.xtl
library games/stargazer/Sky.xtl: Stargazer's rules and its sky, a library: stargazer.xtl (scripted), play.xtl (the game: a sky you click) and the web page all use these. The data is in two TOML files, read with []L_IST and []T_ABLE: assets/cache/sky.toml (the Bright Star Catalog's stars and the IAU's named stars, fetched by assets/fetch.sh, not tracked) and stars.toml (the parts of the sky, the brightness bands, stars of your own). The sky is SVG written here, with the pieces of lib/Svg.xtl.
program games/stargazer/stargazer.xtl

Items

name	kind	type
ˡc̲ell	function	`Num a => a -> a -> a`
ˡr̲c	function	`Int -> Int -> Int`
ˡa̲round	function	`Num a => a -> a`
ˡp̲lus	function	`Num a => a -> a`
ˡs̲paced	function	`Char -> Char`
ˡl̲ine	function	`Any a => a -> Char`
ˡn̲umbersIn	function	`Char -> Int`
ˡn̲umbers	function	`Any a => a -> Int`
ˡn̲umber	function	`Any a => a -> Int`
ˡl̲etter	function	`Any a => a -> Char -> Int`
ˡu̲pdate	function	`Int -> Int -> Int`
ˡp̲ut	function	`Int -> Int -> Int`
ˡn̲um	function	`Box Char -> Float`
ˡw̲hole	function	`Float -> Char`
ˡu̲nit	function	`Num a => a -> Float`
ˡr̲ect	function	`Float -> a -> Box Char`
ˡw̲ords	function	`Float -> a -> Box Char`
ˡh̲it	function	`Num a => a -> a -> Int`
ˡb̲uttons	function	`Float -> Int -> Float`
ˡm̲enu	function	`Float -> Float -> Float`
ʰf̲ill	function	`Int -> Char`
ˡl̲abeled	function	`Float -> Box a -> Box Char`
ˡc̲hoices	function	`Float -> Box a -> Box Char`
ˡp̲icture	function	`Float -> Box Char -> Char`
ˡl̲ines	function	`Num b => Box a -> b`
ˡh̲olds	function	`Truthy a => Int -> Int -> a`
ˡj̲oin	function	`Box Char -> Char`
ˢu̲se<	built-in macro	`Char -> Char -> Unit`
ˢi̲f<	macro	`Char -> Char -> Char`
ˢu̲nless<	macro	`Char -> Char -> Char`
ˢe̲ach<	macro	`Char -> Char -> Char`
ˢl̲ine<	macro	`Unit -> Unit -> Char`
ˢf̲ile<	macro	`Unit -> Unit -> Char`
ˢi̲nclude<	macro	`Unit -> Char -> Char`
ˢc̲fg<	macro	`Unit -> Char -> Char`
ˢe̲rror<	macro	`Char -> Char -> Char`
ˢd̲bg<	macro	`Unit -> Char -> Char`
ˢa̲ssert<	macro	`Char -> a -> Char`
ˢf̲ormat<	macro	`Unit -> Char -> Char`
ˢp̲anic<	macro	`Unit -> Char -> Char`
ˢt̲odo<	macro	`Unit -> Char -> Char`
ˢt̲ry<	macro	`Char -> Char -> Char`
ˢc̲atch<	macro	`Char -> Char -> Char`
ˢf̲inally<	macro	`Char -> Char -> Char`
ˢr̲ecover<	macro	`Unit -> Char -> Char`
ˢr̲etry<	macro	`Unit -> Unit -> Char`
ˢh̲alt<	macro	`Unit -> Unit -> Char`
ˢc̲ontinue<	macro	`Unit -> Unit -> Char`
catchCodes	value	`Char`
ʰm̲atchCode	function	`Char -> Char`
ifArgs	value	`Char`
eachAlone	value	`Char`
eachHole	value	`Char`
ʰt̲rim	function	`Char -> Char`
ʰw̲ords	function	`Char -> Box Char`
ʰs̲eps	function	`Truthy a => Char -> a`
ʰh̲oles	function	`(Num a, Truthy a) => Char -> a`
ʰj̲oin	function	`Box Char -> Char`
ʰq̲uote	function	`Char -> Char`
ʰc̲opy	function	`Char -> Char -> Char`
ʰw̲hy	function	`Char -> Char`
ʰo̲rEmpty	function	`Char -> Char`
ʰl̲it	function	`Char -> Char`
ʰc̲j	function	`Char -> Char -> Char`
ʰp̲ieces	function	`Char -> Char`
p	value	`Int`
r	value	`Int`
p	value	`Int`
ᵘr̲ace	function	`Int -> Int`
final	value	`Int`
ok	value	`Unit`
ok	value	`Unit`
ˡfinish	value	`Int`
ˡn̲ames	function	`Unit -> Char`
ˡn̲ew	function	`Num a => Int -> a`
ˡr̲oll	function	`a -> Int`
ˡm̲ove	function	`Num a => a -> a -> a`
ˡs̲tatus	function	`Truthy a => Int -> a`
ˡl̲eaders	function	`(Num a, Truthy b) => a -> b`
ˡw̲inners	function	`Num a => a -> Int`
ˡv̲iew	function	`Int -> Char`
ᵘr̲ace	function	`Int -> Int`
ᵘa̲sk	function	`a -> Int`
ᵘb̲et	function	`Int -> Char`
t	value	`Int`
ᵘp̲lay	function	`Num a => Int -> Int -> a`
start	value	`Int`
s	value	`Int`
ᵘr̲ound	function	`Int -> Int`
st0	value	`Int`
st	value	`Int`
n	value	`Int`
ok	value	`Unit`
ok	value	`Unit`
ˡtop	value	`Int`
ˡn̲ew	function	`Int -> Int`
ˡm̲ove	function	`(Ord a, Num b, Truthy b) => a -> a -> b`
ˡs̲tatus	function	`(Eq a, Truthy b) => a -> a -> b`
ˡr̲eply	function	`Int -> Char`
ˡg̲uess	function	`Int -> Int`
ˡn̲arrow	function	`Num a => Int -> a -> Int`
ˡp̲ossible	function	`Truthy a => Int -> Int -> a`
said	value	`Char`
said	value	`Char`
t	value	`Int`
ᵘa̲sk	function	`Any a => a -> Int`
ᵘt̲urn	function	`Num a => a -> a`
n	value	`Int`
said	value	`Char`
said	value	`Char`
said	value	`Char`
ᵘa̲sk	function	`Any a => a -> Int`
ᵘs̲how	function	`Int -> Char`
ᵘt̲urn	function	`Int -> Char`
ᵘs̲ay	function	`Int -> Int`
ᵘa̲fter	function	`Int -> Char`
ᵘs̲can	function	`Int -> Int`
ᵘe̲nd	function	`Int -> Char`
ˡn	value	`Int`
ˡhead	value	`Int`
ˡp̲os	function	`a -> a`
ˡt̲ele	function	`a -> a`
ˡt̲urn	function	`a -> a`
ˡe̲vent	function	`a -> a`
ˡs̲tatus	function	`a -> a`
ˡr̲obots	function	`a -> a`
ˡa̲live	function	`a -> a`
ˡw̲recks	function	`a -> a`
ˡc̲ell	function	`Num a => a -> a`
ˡo̲nSquares	function	`(Num a, Truthy a) => Int -> a -> a`
ˡn̲ew	function	`Any a => a -> Int`
ˡc̲hase	function	`Int -> Int`
ˡk̲eys	function	`Num a => Unit -> a`
ˡo̲n	function	`Int -> Int -> Int`
ˡm̲oved	function	`Num a => a -> a -> a`
ˡm̲ove	function	`Int -> Int -> Int`
ˡt̲eleport	function	`Int -> Int`
ˡm̲essage	function	`Int -> Char`
ˡc̲odes	function	`Int -> Int`
ˡv̲iew	function	`Int -> Char`
ˡp̲icture	function	`Int -> Char`
ˡl̲rs	function	`Int -> Int`
ʰr̲egions	function	`Int -> Int`
s	value	`Int`
R	value	`Int`
P	value	`Int`
d	value	`Int`
rows	value	`Int`
cols	value	`Int`
alive	value	`Int`
t	value	`Int`
t	value	`Int`
t	value	`Int`
t0	value	`Int`
lost	value	`Int`
ok	value	`Unit`
ok	value	`Unit`
ᵘl̲ist	function	`Num a => Int -> a`
ᵘa̲rg	function	`(Num a, Num b) => a -> b -> Int`
ᵘt̲akeWhat	function	`Num a => a -> Int`
ᵘu̲seWhat	function	`Num a => a -> Int`
ᵘt̲urn	function	`Num a => Int -> a`
s	value	`Int`
said	value	`Int`
done	value	`Int`
ˡt̲ext	function	`Unit -> Box Char`
ˡk̲eys	function	`Num a => Unit -> a`
ˡf̲lags	function	`Num a => Unit -> a`
ˡv̲alues	function	`Num a => Unit -> a`
ˡk̲fv	function	`Num a => Unit -> a`
ˡl̲ines	function	`Num a => Int -> a -> Int`
ˡs̲ay	function	`(Num a, Num b) => Int -> a -> b`
ˡe̲xits	function	`Num a => Unit -> a`
ˡi̲tems	function	`Unit -> Box Char`
ˡh̲omes	function	`Num a => Unit -> a`
ˡroom	value	`Int`
ˡturns	value	`Int`
ˡphaser	value	`Int`
ˡcard	value	`Int`
ˡtoolkit	value	`Int`
ˡcoupler	value	`Int`
ˡtribble	value	`Int`
ˡrelay	value	`Int`
ˡboarders	value	`Int`
ˡwon	value	`Int`
ˡdead	value	`Int`
ˡevent	value	`Int`
ˡn̲ew	function	`(Any a, Num b) => a -> b`
ˡr̲oom	function	`a -> a`
ˡt̲urns	function	`a -> a`
ˡe̲vent	function	`a -> a`
ˡs̲tatus	function	`(Num a, Truthy a) => a -> a`
ˡu̲pdate	function	`Int -> Int -> Int`
ˡs̲aying	function	`Int -> Int -> Int`
ˡp̲resent	function	`Num a => a -> Int`
ˡr̲efusal	function	`(Truthy a, Num b) => a -> b -> b`
ˡm̲ove	function	`Int -> Int -> Int`
ˡg̲o	function	`Int -> Int -> Int`
ˡt̲ake	function	`Int -> Int -> Int`
ˡu̲se	function	`Int -> Int -> Int`
ˡt̲oolkit	function	`Int -> Int`
ˡc̲oupler	function	`Int -> Int`
ˡt̲hrow	function	`Int -> Int`
ˡf̲ire	function	`Int -> Int`
ˡs̲aid	function	`Num a => a -> a`
ˡc̲lock	function	`Int -> Int`
ˡa̲larms	function	`(Num a, Truthy a, Num b) => a -> b`
s	value	`Int`
s	value	`Int`
said	value	`Int`
taken	value	`Int`
said	value	`Int`
moves	value	`Int`
ᵘp̲lay	function	`Int -> Int -> Int`
game	value	`Int`
last	value	`Int`
said	value	`Int`
bay	value	`Int`
said	value	`Int`
ᵘw̲ait	function	`Int -> Int`
said	value	`Int`
ok	value	`Unit`
said	value	`Char`
said	value	`Char`
said	value	`Char`
said	value	`Char`
ᵘa̲rgs	function	`(Num a, Num b) => a -> b -> Int`
ᵘc̲ourseAnd	function	`Char -> Int`
ᵘt̲urn	function	`Int -> Char`
s	value	`Int`
said	value	`Char`
done	value	`Char`
ˡenergy	value	`Int`
ˡtorpedoes	value	`Int`
ˡshieldsAt	value	`Int`
ˡstardate	value	`Int`
ˡquadRow	value	`Int`
ˡquadCol	value	`Int`
ˡsectRow	value	`Int`
ˡsectCol	value	`Int`
ˡstatus	value	`Int`
ˡe̲nergy	function	`a -> a`
ˡt̲orps	function	`a -> a`
ˡs̲hields	function	`a -> a`
ˡd̲ate	function	`a -> a`
ˡq̲uad	function	`a -> a`
ˡs̲ector	function	`a -> a`
ˡs̲tatus	function	`a -> a`
ˡg̲alaxy	function	`a -> Int -> a`
ˡg̲rid	function	`a -> a`
ˡk̲lingons	function	`Num a => a -> a`
ˡh̲ere	function	`(Num a, Num b, Truthy b) => a -> b`
ˡu̲pdate	function	`Int -> Int -> Int`
ˡp̲ut	function	`Int -> Int -> Int`
ˡw̲ithGrid	function	`Int -> Int -> Int`
ˡw̲ithPlane	function	`Int -> Int -> Int`
ˡh̲ome	function	`Num a => a -> a`
ˡa̲t	function	`Int -> Char`
ˡc̲ourses	function	`Num a => Unit -> a`
ˡn̲ew	function	`Any a => a -> Int`
ˡe̲nter	function	`Int -> Int`
ˡs̲rs	function	`Int -> Int`
ˡl̲rs	function	`Int -> Int`
ˡs̲ay	function	`(Any a, Any b) => a -> b -> a`
ˡi̲nsufficient	function	`Any a => a -> a`
ˡc̲ell	function	`Num a => a -> a`
ˡm̲oveTo	function	`Int -> Int -> Int`
ˡp̲ath	function	`Int -> Int -> Int`
ˡi̲nside	function	`(Num a, Truthy b) => a -> b`
ˡc̲ells	function	`Num a => a -> a`
ˡt̲rack	function	`Num a => Int -> a`
ˡf̲ire	function	`Int -> Int`
ˡw̲arp	function	`Int -> Int -> Int`
ˡc̲lamped	function	`Num a => Int -> a`
ˡi̲mpulse	function	`Int -> Int -> Int`
ˡc̲ross	function	`Int -> Int -> Int`
ˡh̲alt	function	`Int -> Int -> Int`
ˡp̲hasers	function	`Int -> Int -> Int`
ˡh̲its	function	`Num a => Int -> a`
ˡp̲hp	function	`Int -> Char`
ˡt̲orpedo	function	`Int -> Int -> Int`
ˡs̲trike	function	`Int -> Int -> Int`
ˡs̲hieldsTo	function	`Int -> Int -> Int`
ˡr̲eport	function	`Int -> Int`
ˡh̲elp	function	`Any a => a -> a`
ˡl̲ines	function	`Num a => Box Char -> a`
ˡc̲ommand	function	`Int -> Int -> Int`
ˡd̲o	function	`Int -> Int -> Int`
ˡj̲udge	function	`Int -> Int`
ˡe̲nd	function	`Int -> Char`
ˡm̲ission	function	`Int -> Char`
s	value	`Int`
s	value	`Int`
s	value	`Int`
P	value	`Int`
s	value	`Int`
s	value	`Int`
s	value	`Int`
s	value	`Int`
ᵘf̲ar	function	`Int -> Int`
s	value	`Int`
ok	value	`Unit`
ok	value	`Unit`
said	value	`Char`
ᵘa̲sk	function	`Num a => a -> Int`
ᵘv̲erdict	function	`Num a => a -> Char`
ᵘy̲ou	function	`(Num a, Truthy a) => a -> Char`
ᵘm̲e	function	`(Num a, Truthy a) => a -> Char`
ˡl̲ines	function	`Num a => Unit -> a`
ˡs̲ums	function	`Num a => a -> a`
ˡw̲inner	function	`(Num a, Num b, Truthy b) => a -> b`
ˡt̲urn	function	`(Num a, Num b, Truthy b) => a -> b`
ˡn̲ew	function	`(Any a, Num b) => a -> b`
ˡl̲egal	function	`Num a => a -> Int`
ˡs̲tatus	function	`(Num a, Num b) => a -> b`
ˡm̲ove	function	`(Num a, Truthy a) => a -> Int -> a`
ˡc̲odes	function	`Num a => a -> Int`
ˡv̲iew	function	`Num a => a -> Char`
ˡp̲icture	function	`Num a => a -> Char`
ˡo̲n	function	`Truthy a => Unit -> a`
ˡn̲ear	function	`(Num a, Num b, Truthy b) => a -> a -> b`
ˡa̲i	function	`(Num a, Truthy a) => a -> Int`
ˡv̲alue	function	`(Num a, Truthy a, Num b, Truthy b) => a -> b`
ˡb̲est	function	`(Num a, Truthy a) => a -> Int`
b	value	`Int`
b	value	`Int`
p	value	`Int`
ᵘs̲elf	function	`(Num a, Truthy a) => a -> a`
end	value	`Int`
pic	value	`Char`
ok	value	`Unit`
ok	value	`Unit`
said	value	`Char`
ᵘa̲sk	function	`Truthy a => a -> a`
ᵘt̲urn	function	`Int -> Char`
ˡn̲ew	function	`(Any a, Num b) => a -> b`
ˡs̲core	function	`Int -> Int`
ˡs̲ubsets	function	`Unit -> Int`
ˡs̲ums	function	`Unit -> Int`
ˡr̲oll	function	`Int -> Int`
ˡm̲oves	function	`Int -> Int -> Int`
ˡs̲hut	function	`(Num a, Truthy a, Truthy b) => a -> b -> a`
ˡs̲tatus	function	`Num a => Int -> Int -> a`
ˡv̲iew	function	`Int -> Char`
ˡt̲iles	function	`Truthy a => a -> Char`
ˡl̲isted	function	`Truthy a => a -> Box Char`
ˡh̲igh	function	`Int -> Int -> Int`
M	value	`Int`
s	value	`Int`
t	value	`Int`
ᵘg̲ame	function	`Int -> Int`
ok	value	`Unit`
ok	value	`Unit`
ˡn	value	`Int`
ˡm̲ines	function	`a -> a`
ˡo̲pen	function	`a -> a`
ˡf̲lags	function	`a -> a`
ˡs̲tatus	function	`a -> a`
ˡs̲tate	function	`a -> a -> a`
ˡn̲ew	function	`(Any a, Num b, Truthy b) => a -> b`
ˡa̲round	function	`Num a => a -> a`
ˡc̲ounts	function	`Num a => a -> a`
ˡw̲ith	function	`a -> a -> a`
ˡr̲eveal	function	`(Num a, Truthy a) => a -> Int -> a`
ˡg̲row	function	`(Num a, Truthy a) => a -> a -> a`
ˡf̲lag	function	`(Num a, Truthy a) => a -> Int -> a`
ˡc̲odes	function	`(Num a, Truthy a) => a -> a`
ˡv̲iew	function	`Int -> Char`
ˡp̲icture	function	`Int -> Char`
s	value	`Int`
p	value	`Int`
ᵘs̲teps	function	`(Num a, Truthy a) => a -> a`
start	value	`Int`
grown	value	`Int`
ᵘc̲lear	function	`(Num a, Truthy a) => a -> Int -> a`
done	value	`Int`
pic	value	`Char`
ok	value	`Unit`
ok	value	`Unit`
said	value	`Char`
ᵘa̲sk	function	`Any a => a -> Int`
ᵘt̲urn	function	`Int -> Char`
b	value	`Int`
ᵘp̲ick	function	`(Num a, Truthy a, Num b) => a -> b`
ᵘg̲ame	function	`(Num a, Truthy a) => a -> a`
end	value	`Int`
ok	value	`Unit`
ok	value	`Unit`
ˡs̲core	function	`a -> a`
ˡb̲oard	function	`a -> a`
ˡc̲ompress	function	`(Num a, Truthy a) => a -> a`
ˡp̲lace	function	`Num a => a -> Int`
ˡd̲oubles	function	`(Num a, Truthy b) => a -> b`
ˡm̲erge	function	`(Num a, Truthy a) => a -> a`
ˡl̲eft	function	`(Num a, Truthy a) => a -> a`
ˡt̲urn	function	`Num b => a -> b -> a`
ˡb̲ack	function	`Num b => a -> b -> a`
ˡs̲lide	function	`(Num a, Truthy a, Num b) => a -> b -> a`
ˡg̲ain	function	`(Num a, Truthy a, Num b) => a -> b -> a`
ˡs̲pawn	function	`(Num a, Truthy a) => a -> a`
ˡn̲ew	function	`(Any a, Num b, Truthy b) => a -> b`
ˡm̲ove	function	`(Num a, Truthy a, Num b) => a -> b -> a`
ˡs̲tatus	function	`(Num a, Truthy a, Num b) => a -> b`
said	value	`Char`
ᵘa̲sk	function	`Any a => a -> Int`
ᵘt̲urn	function	`(Num a, Truthy a) => a -> Char`
ᵘs̲tuck	function	`(Num a, Truthy a) => a -> a`
said	value	`Char`
ᵘp̲uzzle	function	`Unit -> Int`
ᵘr̲efused	function	`Num a => a -> b -> Char`
ᵘh̲int	function	`Int -> Char`
ᵘc̲ell	function	`Int -> Int -> Char`
ᵘt̲urn	function	`Int -> Char`
ᵘa̲sk	function	`Int -> Char`
ᵘs̲ay	function	`Int -> Char -> Char`
ᵘs̲olution	function	`Int -> Char`
j	value	`Int`
cell	value	`Int`
ˡu̲nits	function	`Unit -> Int`
ˡh̲omes	function	`Unit -> Int`
ˡo̲nehot	function	`(Num a, Truthy a) => Int -> a`
ˡp̲erUnit	function	`Num a => a -> a`
ˡp̲erCell	function	`Num a => a -> a`
ˡc̲andidates	function	`(Num a, Truthy a) => Int -> a`
ˡs̲ingles	function	`(Num a, Num b, Num c, Truthy c) => a -> b -> c`
ˡr̲ound	function	`Int -> Int`
ˡp̲ropagate	function	`Int -> Int`
ˡb̲roken	function	`(Num a, Num b, Truthy b) => Int -> a -> b`
ˡs̲olve	function	`Int -> Int`
ˡt̲ry	function	`Int -> Int -> Int`
ˡr̲ounds	function	`Num a => Int -> a`
wikipedia	value	`Int`
seventeen	value	`Int`
norvig	value	`Int`
inkala	value	`Int`
ˡp̲uzzles	function	`Unit -> Int`
ˡn̲ew	function	`Int -> Int`
ˡg̲ivens	function	`a -> a`
ˡg̲rid	function	`a -> a`
ˡw̲hy	function	`Num a => Int -> Int -> a`
ˡc̲lash	function	`Num a => Int -> Int -> a`
ˡm̲ove	function	`Int -> Int -> Int`
ˡl̲egal	function	`(Num a, Truthy a) => Int -> a`
ˡs̲tatus	function	`(Num a, Truthy a) => Int -> a`
ˡh̲int	function	`Int -> Int`
ˡs̲hown	function	`Int -> Char`
ˡv̲iew	function	`Int -> Char`
g	value	`Int`
U	value	`Int`
c	value	`Int`
h	value	`Int`
k	value	`Int`
x	value	`Int`
s	value	`Int`
ok	value	`Unit`
ok	value	`Unit`
all	value	`Box Char`
towns	value	`Box Char`
ʰc̲ity	function	`Box Char -> Char`
names	value	`Box Char`
lat	value	`Float`
lon	value	`Float`
regions	value	`Box Char`
region	value	`Int`
tlat	value	`Float`
tlon	value	`Float`
land	value	`Char`
ˡm̲x	function	`Num a => a -> a`
ˡm̲y	function	`Num a => a -> a`
ˡp̲ool	function	`Int -> Int`
ˡr̲egions	function	`Unit -> Box Char`
ˡa̲t	function	`Int -> Float`
ˡn̲ame	function	`Int -> Char`
ˡv̲iew	function	`Int -> Float`
ˡc̲lose	function	`Int -> Float`
ˡt̲own	function	`Int -> Char`
ˡc̲hoices	function	`Int -> Int`
ˡa̲nswer	function	`Int -> Int`
ˡn̲ew	function	`Int -> Int`
ˡs̲core	function	`a -> a`
ˡd̲ots	function	`Int -> Int`
ˡr̲esults	function	`Int -> Int`
ˡs̲tatus	function	`(Num a, Truthy a) => Int -> a`
ˡm̲enu	function	`Int -> Float`
ʰd̲ot	function	`Int -> Float -> Int`
ˡc̲lick	function	`Int -> Float -> Int`
ʰo̲pen	function	`Int -> Float -> Int`
ʰs̲et	function	`Int -> Int -> Int`
ʰa̲nswer	function	`Int -> Int -> Int`
ʰr̲oundOver	function	`Int -> Char`
ˡs̲ay	function	`Int -> Char`
ʰd̲otColor	function	`Int -> Char`
ʰs̲pots	function	`Int -> Float -> Box Char`
ʰb̲ar	function	`Num a => a -> Float -> Box Char`
ʰs̲aid	function	`Int -> Float -> Box Char`
ʰc̲hoose	function	`Int -> Box Char`
ˡd̲raw	function	`Int -> Char`
p	value	`Int`
s	value	`Int`
pic	value	`Char`
i	value	`Int`
t	value	`Int`
k	value	`Int`
b	value	`Float`
t	value	`Int`
pic	value	`Char`
ok	value	`Unit`
ok	value	`Unit`
ᵘl̲oop	function	`Int -> Char`
ᵘl̲oop	function	`Int -> Char`
named	value	`Box Char`
names	value	`Box Char`
ra	value	`Float`
dec	value	`Float`
mag	value	`Float`
ʰs̲econd	function	`Box Char -> Float`
ʰt̲hird	function	`Box Char -> Float`
parts	value	`Box Char`
ra0	value	`Float`
ra1	value	`Float`
dec0	value	`Float`
dec1	value	`Float`
edges	value	`Float`
band	value	`Int`
mix	value	`Int`
sky	value	`Box Char`
sx	value	`Float`
sy	value	`Float`
class	value	`Int`
ʰp̲oints	function	`Int -> Char`
ʰw̲idth	function	`Int -> Char`
layer	value	`Char`
ˡs̲x	function	`Num a => a -> a`
ˡs̲y	function	`Num a => a -> a`
ʰi̲nRa	function	`Truthy a => Int -> a`
ˡp̲ool	function	`Int -> Int`
ˡp̲arts	function	`Unit -> Box Char`
ˡn̲ame	function	`Int -> Char`
ˡv̲iew	function	`Int -> Float`
ˡa̲t	function	`Int -> Int -> Float`
ˡc̲hoices	function	`Int -> Int -> Int`
ʰo̲ne	function	`Int -> Int -> Int`
ʰu̲pTo	function	`Int -> a -> a`
ˡn̲ew	function	`Int -> Int`
ˡs̲core	function	`a -> a`
ˡm̲arks	function	`Int -> Int`
ˡr̲esults	function	`Int -> Int`
ˡs̲tatus	function	`(Num a, Truthy a) => Int -> a`
ˡo̲ffered	function	`Int -> Int`
ˡm̲enu	function	`Int -> Float`
ʰx̲s	function	`Int -> Float`
ʰy̲s	function	`Int -> Float`
ʰs̲tarAt	function	`Int -> Float -> Int`
ˡc̲lick	function	`Int -> Float -> Int`
ʰo̲pen	function	`Int -> Float -> Int`
ʰs̲et	function	`Int -> Int -> Int`
ʰa̲nswer	function	`Int -> Int -> Int`
ʰr̲oundOver	function	`Int -> Char`
ˡs̲ay	function	`Int -> Char`
ʰr̲ingColor	function	`Int -> Char`
ʰr̲ings	function	`Int -> Float -> Box Char`
ʰb̲ar	function	`Num a => a -> Float -> Box Char`
ʰs̲aid	function	`Int -> Float -> Box Char`
ʰc̲hoose	function	`Int -> Box Char`
ˡd̲raw	function	`Int -> Char`
i	value	`Int`
s	value	`Int`
pic	value	`Char`
j	value	`Int`
t	value	`Int`
c	value	`Int`
b	value	`Float`
t	value	`Int`
pic	value	`Char`
ok	value	`Unit`
ok	value	`Unit`