The Idris Tutorial Version 0.99i t h a s e e d , t h e n r u n guess: game : Eff () [RND, STDIO] game = do srand 123456789 guess (fromInteger !(rndInt 0 100)) main : IO () main = run game I f n o s e e d i s gi v e n , i t i s s n ow w r i t e an i n t e r f ac e f or t h e gam e w h i c h u s e s t h e MYSTERY e ff e c t : game : Eff () [MYSTERY (Running (S g) w), STDIO] [MYSTERY NotRunning, STDIO] T h e t y p e i n d i c s b y c or r e c t l y f ol l ow i n g t h e s t at e d r u l e s . Not e t h at t h e t y p e of game m ak e s n o as s u m p t i on t h at t h e r e ar e l e t t e r s t o b e gu e s s e d i n t h e0 码力 | 182 页 | 1.04 MB | 1 年前3
Idris 语言文档 Version 1.3.1奩 奴 奨 奡 女 奥 奥 奤 夬 奴 奨 奥 奮 奲 奵 奮 guess夺 game : Eff () [RND, STDIO] game = do srand 123456789 guess (fromInteger !(rndInt 0 100)) main : IO () main = run game 奉 奦 奮 奯 女 奥 奥 奤 奩 女 奧奩 奶 奥 奮 夬 奩 奴 奩 女 女 奡奮 奮 奯奷 奷 奲 奩 奴 奥 奡奮 奩 奮 奴 奥 奲 奦 奡奣 奥 奦 奯奲 奴 奨 奥 奧奡奭 奥 奷 奨 奩 奣 奨 奵 女 奥 女 奴 奨 奥 MYSTERY 奥 夛 奥 奣 奴 夺 game : Eff () [MYSTERY (Running (S g) w), STDIO] [MYSTERY NotRunning, STDIO] 奔 奨 奥 奴 她 奰 奥 奩 奮 奤 奩 奣 女 奢 她 奣 奯奲 奲 奥 奣 奴 奬 她 奦 奯奬 奬 奯奷 奩 奮 奧 奴 奨 奥 女 奴 奡奴 奥 奤 奲 奵 奬 奥 女 央 奎奯奴 奥 奴 奨 奡奴 奴 奨 奥 奴 她 奰 奥 奯奦 game 奭 奡奫 奥 女 奮 奯 奡女 女 奵 奭 奰 奴 奩 奯奮 奴 奨 奡奴 奴 奨 奥 奲 奥 奡奲 奥 奬 奥 奴 奴 奥 奲 女 奴 奯 奢 奥 奧奵 奥 女 女 奥 奤 奩 奮 奴 奨 奥0 码力 | 224 页 | 2.06 MB | 1 年前3
The Idris Tutorial Version 1.0.1i t h a s e e d , t h e n r u n guess: game : Eff () [RND, STDIO] game = do srand 123456789 guess (fromInteger !(rndInt 0 100)) main : IO () main = run game I f n o s e e d i s gi v e n , i t i s s n ow w r i t e an i n t e r f ac e f or t h e gam e w h i c h u s e s t h e MYSTERY e ff e c t : game : Eff () [MYSTERY (Running (S g) w), STDIO] [MYSTERY NotRunning, STDIO] T h e t y p e i n d i c s b y c or r e c t l y f ol l ow i n g t h e s t at e d r u l e s . Not e t h at t h e t y p e of game m ak e s n o as s u m p t i on t h at t h e r e ar e l e t t e r s t o b e gu e s s e d i n t h e0 码力 | 223 页 | 1.21 MB | 1 年前3
The Idris Tutorial Version 1.1.0i t h a s e e d , t h e n r u n guess: game : Eff () [RND, STDIO] game = do srand 123456789 guess (fromInteger !(rndInt 0 100)) main : IO () main = run game I f n o s e e d i s gi v e n , i t i s s n ow w r i t e an i n t e r f ac e f or t h e gam e w h i c h u s e s t h e MYSTERY e ff e c t : game : Eff () [MYSTERY (Running (S g) w), STDIO] [MYSTERY NotRunning, STDIO] T h e t y p e i n d i c s b y c or r e c t l y f ol l ow i n g t h e s t at e d r u l e s . Not e t h at t h e t y p e of game m ak e s n o as s u m p t i on t h at t h e r e ar e l e t t e r s t o b e gu e s s e d i n t h e0 码力 | 223 页 | 1.21 MB | 1 年前3
The Idris Tutorial Version 0.99.2i t h a s e e d , t h e n r u n guess: game : Eff () [RND, STDIO] game = do srand 123456789 guess (fromInteger !(rndInt 0 100)) main : IO () main = run game I f n o s e e d i s gi v e n , i t i s s n ow w r i t e an i n t e r f ac e f or t h e gam e w h i c h u s e s t h e MYSTERY e ff e c t : game : Eff () [MYSTERY (Running (S g) w), STDIO] [MYSTERY NotRunning, STDIO] T h e t y p e i n d i c s b y c or r e c t l y f ol l ow i n g t h e s t at e d r u l e s . Not e t h at t h e t y p e of game m ak e s n o as s u m p t i on t h at t h e r e ar e l e t t e r s t o b e gu e s s e d i n t h e0 码力 | 224 页 | 1.22 MB | 1 年前3
The Idris Tutorial Version 1.1.1i t h a s e e d , t h e n r u n guess: game : Eff () [RND, STDIO] game = do srand 123456789 guess (fromInteger !(rndInt 0 100)) main : IO () main = run game I f n o s e e d i s gi v e n , i t i s s n ow w r i t e an i n t e r f ac e f or t h e gam e w h i c h u s e s t h e MYSTERY e ff e c t : game : Eff () [MYSTERY (Running (S g) w), STDIO] [MYSTERY NotRunning, STDIO] T h e t y p e i n d i c s b y c or r e c t l y f ol l ow i n g t h e s t at e d r u l e s . Not e t h at t h e t y p e of game m ak e s n o as s u m p t i on t h at t h e r e ar e l e t t e r s t o b e gu e s s e d i n t h e0 码力 | 223 页 | 1.21 MB | 1 年前3
The Idris Tutorial Version 1.3.1i t h a s e e d , t h e n r u n guess: game : Eff () [RND, STDIO] game = do srand 123456789 guess (fromInteger !(rndInt 0 100)) main : IO () main = run game I f n o s e e d i s gi v e n , i t i s s n ow w r i t e an i n t e r f ac e f or t h e gam e w h i c h u s e s t h e MYSTERY e ff e c t : game : Eff () [MYSTERY (Running (S g) w), STDIO] [MYSTERY NotRunning, STDIO] T h e t y p e i n d i c s b y c or r e c t l y f ol l ow i n g t h e s t at e d r u l e s . Not e t h at t h e t y p e of game m ak e s n o as s u m p t i on t h at t h e r e ar e l e t t e r s t o b e gu e s s e d i n t h e0 码力 | 230 页 | 1.24 MB | 1 年前3
The Idris Tutorial Version 1.0i t h a s e e d , t h e n r u n guess: game : Eff () [RND, STDIO] game = do srand 123456789 guess (fromInteger !(rndInt 0 100)) main : IO () main = run game I f n o s e e d i s gi v e n , i t i s s n ow w r i t e an i n t e r f ac e f or t h e gam e w h i c h u s e s t h e MYSTERY e ff e c t : game : Eff () [MYSTERY (Running (S g) w), STDIO] [MYSTERY NotRunning, STDIO] T h e t y p e i n d i c s b y c or r e c t l y f ol l ow i n g t h e s t at e d r u l e s . Not e t h at t h e t y p e of game m ak e s n o as s u m p t i on t h at t h e r e ar e l e t t e r s t o b e gu e s s e d i n t h e0 码力 | 223 页 | 1.21 MB | 1 年前3
The Idris Tutorial Version 1.3.0i t h a s e e d , t h e n r u n guess: game : Eff () [RND, STDIO] game = do srand 123456789 guess (fromInteger !(rndInt 0 100)) main : IO () main = run game I f n o s e e d i s gi v e n , i t i s s n ow w r i t e an i n t e r f ac e f or t h e gam e w h i c h u s e s t h e MYSTERY e ff e c t : game : Eff () [MYSTERY (Running (S g) w), STDIO] [MYSTERY NotRunning, STDIO] T h e t y p e i n d i c s b y c or r e c t l y f ol l ow i n g t h e s t at e d r u l e s . Not e t h at t h e t y p e of game m ak e s n o as s u m p t i on t h at t h e r e ar e l e t t e r s t o b e gu e s s e d i n t h e0 码力 | 229 页 | 1.24 MB | 1 年前3
The Idris Tutorial Version 2.3.0i t h a s e e d , t h e n r u n guess: game : Eff () [RND, STDIO] game = do srand 123456789 guess (fromInteger !(rndInt 0 100)) main : IO () main = run game I f n o s e e d i s gi v e n , i t i s s n ow w r i t e an i n t e r f ac e f or t h e gam e w h i c h u s e s t h e MYSTERY e ff e c t : game : Eff () [MYSTERY (Running (S g) w), STDIO] [MYSTERY NotRunning, STDIO] T h e t y p e i n d i c s b y c or r e c t l y f ol l ow i n g t h e s t at e d r u l e s . Not e t h at t h e t y p e of game m ak e s n o as s u m p t i on t h at t h e r e ar e l e t t e r s t o b e gu e s s e d i n t h e0 码力 | 228 页 | 1.23 MB | 1 年前3
共 10 条
- 1













