|
9 | 9 | <<<<<<< HEAD |
10 | 10 | <<<<<<< HEAD |
11 | 11 | <<<<<<< HEAD |
| 12 | +<<<<<<< HEAD |
12 | 13 | ======= |
13 | 14 | >>>>>>> 1182532d (Bits) |
14 | 15 | ======= |
15 | 16 | >>>>>>> 98cc9b57 (+ Added build scripts; Offered a fix for emacs mode;) |
16 | 17 | ======= |
17 | 18 | >>>>>>> c49bc11b (Did a few things:) |
18 | 19 | ======= |
| 20 | +>>>>>>> 1d7ed6f866e5e6a5284b8201331e166b8b3f0d72 |
| 21 | +======= |
19 | 22 | >>>>>>> 1182532d (Bits) |
20 | 23 | ======= |
21 | 24 | >>>>>>> 98cc9b57 (+ Added build scripts; Offered a fix for emacs mode;) |
22 | 25 | ======= |
23 | 26 | >>>>>>> 1182532d (Bits) |
| 27 | +======= |
| 28 | +======= |
| 29 | +>>>>>>> 1182532d (Bits) |
| 30 | +======= |
| 31 | +>>>>>>> 2911575b2c8252d323041ae45a1b530b69908e8d |
| 32 | +>>>>>>> f5becf8e2e35e02de41ec478713d2bcf0aedcd78 |
24 | 33 | - [-] Add some test cases. |
25 | 34 | - [ ] Have type inference convert, for example, int to float in a operation like 2.0 + 2? Hide behind an experimental guard if so. |
26 | 35 | - [ ] Singleton kinds, they classify type cons by reavling their identity. |
|
31 | 40 | <<<<<<< HEAD |
32 | 41 | <<<<<<< HEAD |
33 | 42 | <<<<<<< HEAD |
| 43 | +<<<<<<< HEAD |
34 | 44 | ======= |
35 | 45 | >>>>>>> c49bc11b (Did a few things:) |
| 46 | +======= |
| 47 | +======= |
| 48 | +>>>>>>> f5becf8e2e35e02de41ec478713d2bcf0aedcd78 |
| 49 | +>>>>>>> 1d7ed6f866e5e6a5284b8201331e166b8b3f0d72 |
36 | 50 | - [ ] If given the ability to create new subkinds, then just force the creation to derive from one of the three 'base' (Type, Row, Presnece) or even one of their subkinds such as "Base." |
37 | 51 | ======= |
38 | 52 | - [ ] Add some test cases. |
|
54 | 68 | >>>>>>> c49bc11b (Did a few things:) |
55 | 69 | ======= |
56 | 70 | - [ ] If given the ability to create new subkinds, then just force the creation to derive from one of the three 'base' (Type, Row, Presnece) or even one of their subkinds such as "Base." |
| 71 | +<<<<<<< HEAD |
57 | 72 | >>>>>>> 98cc9b57 (+ Added build scripts; Offered a fix for emacs mode;) |
58 | 73 | ======= |
59 | 74 | - [ ] Add some test cases. |
60 | 75 | >>>>>>> 1765e705 (Created TODO.md) |
61 | 76 | ======= |
62 | 77 | - [ ] If given the ability to create new subkinds, then just force the creation to derive from one of the three 'base' (Type, Row, Presnece) or even one of their subkinds such as "Base." |
63 | 78 | >>>>>>> 1182532d (Bits) |
| 79 | +======= |
| 80 | +>>>>>>> 2911575b2c8252d323041ae45a1b530b69908e8d |
| 81 | +>>>>>>> f5becf8e2e35e02de41ec478713d2bcf0aedcd78 |
0 commit comments