File: expected

package info (click to toggle)
agda-stdlib 2.1-4
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid, trixie
  • size: 9,196 kB
  • sloc: haskell: 375; makefile: 32; sh: 28; lisp: 1
file content (58 lines) | stat: -rw-r--r-- 1,645 bytes parent folder | download
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
┌───┬───┬───┐
│foo│bar│baz│
├───┼───┼───┤
│  1│2  │ 3 │
├───┼───┼───┤
│  6│5  │ 4 │
└───┴───┴───┘
┌───┬───┐
│foo│bar│
├───┼───┤
│  1│2  │
├───┼───┤
│  4│3  │
└───┴───┘
+-------+
|foo|bar|
|---+---|
|  1|2  |
|---+---|
|  4|3  |
+-------+
foo bar
  1 2  
  4 3  
┌───┬───┐
│foo│bar│
│  1│2  │
│  4│3  │
└───┴───┘
foo│bar
───┼───
  1│2  
───┼───
  4│3  
┌─────┬─────┐
│ foo │ bar │
├─────┼─────┤
│   1 │ 2   │
├─────┼─────┤
│   4 │ 3   │
└─────┴─────┘
┌─────┬─────┐
│ foo │ bar │
│   1 │ 2   │
│   4 │ 3   │
└─────┴─────┘
┌───────┬────┬───┬───┬─────────┐
│  foo  │ bar│   │   │         │
├───────┼────┼───┼───┼─────────┤
│partial│rows│are│ok │         │
├───────┼────┼───┼───┼─────────┤
│   3   │   2│1  │...│surprise!│
└───────┴────┴───┴───┴─────────┘
┌───┬───┐
│foo│bar│
│  1│  2│
│  4│  3│
└───┴───┘