1
0
Fork 0
mirror of https://github.com/Lyxal/Keta.git synced 2024-08-14 23:53:13 +00:00

Merge pull request #2 from IFcoltransG/master

Spelling, grammar and punctuation modifications
This commit is contained in:
JonoCode9374 2020-01-18 08:31:05 +11:00 committed by GitHub
commit 84e6c5f8ca
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
5 changed files with 20 additions and 19 deletions

View file

@ -1,4 +1,4 @@
Operators shown here are purely for design experimentation and maynot reflect the final system of operators Operators shown here are purely for design experimentation and may not reflect the final system of operators:
## Make me a square! ## Make me a square!
@ -14,7 +14,7 @@ Expands to:
## Output Distinct Factor Cubiods ## Output Distinct Factor Cubiods
Keg didn't participate in this challenge Keg didn't participate in this challenge.
*R= *R=
F?f^ F?f^
@ -31,7 +31,7 @@ Psuedo:
## Swap good and bad ## Swap good and bad
Keg got 7 bytes on this challenge (first place btw) Keg got 7 bytes on this challenge (first place incidentally).
-".... -"....
@ -41,7 +41,7 @@ Note that this uses a reverse token flag. But that's what the keg answer does.
## N(e(s(t))) a string ## N(e(s(t))) a string
Keg got 12 bytes Keg got 12 bytes.
M\(+\)*! M\(+\)*!
@ -52,7 +52,7 @@ Keg got 12 bytes
8 bytes (Ket) vs 12 bytes (Keg) 8 bytes (Ket) vs 12 bytes (Keg)
## DDoouubbllee SSppeeaakk ## DDoouubbllee SSppeeaakk
Keg got 3 bytes Keg got 3 bytes.
i i

View file

@ -1,5 +1,5 @@
# Different Block Patterns # Different Block Patterns
This is a list of how patterns are evaluated within Ket (ekg) This is a list of how patterns are evaluated within Ket (ekg).
Nilads: N n Ñ --> Nilads Nilads: N n Ñ --> Nilads
@ -39,6 +39,6 @@ R R* R& --> Right argument -- implicit/whatever is to the left
- `IiS` -> `{L I R} i S(R*)` - `IiS` -> `{L I R} i S(R*)`
- `IiĪ` -> `{{L I R} i R*} Ī R&` - `IiĪ` -> `{{L I R} i R*} Ī R&`
Blocks are evaluated using the triplet rules if possible, otherwise the pair rules are used, otherwise things are evaluated as is Blocks are evaluated using the triplet rules if possible, otherwise the pair rules are used, otherwise expressions are evaluated as is.

View file

@ -1,7 +1,8 @@
# Keta - (Ke)yboard (ta)cit # Keta - (Ke)yboard (ta)cit
Keg, but it somehow became infixed, and what the cool kids call "tacit" Keg, but it somehow became infixed, and what the cool kids call "tacit".
*Note that this is more of a design idea playground than an interpreter right now* *Note that this is more of a design idea playground than an interpreter right now.*
*Consequently, contributions of any kind are welcome*
*Consequently, contributions of any kind are welcome!*

View file

@ -1,8 +1,8 @@
Nilad -> A function that doesn't take any inputs. Usually a constant Nilad -> A function that doesn't take any inputs. Usually a constant.
Single -> A function that only takes a single input Single -> A function that only takes a single input
Infix -> A function that takes two arguments: left and right Infix -> A function that takes two arguments: left and right
Left argument -> the expression to the leff of a function Left argument -> the expression to the left of a function
Right argument -> the expression to the right of a function Right argument -> the expression to the right of a function
Flow -> A complete line of blocks Flow -> A complete line of blocks

14
ref.txt
View file

@ -1,11 +1,11 @@
Command | Description | Arity | Left | Right | Pythonish Representation Command : Description | Arity | Left | Right | Pythonish Representation
( ): NOP | NA | NA | NA ( ): NOP | NA | NA | NA
(!): Length of right argument | 1 | NA | Iterable | length(right) (!): Length of right argument | 1 | NA | Iterable | length(right)
: Factorial of right argument | 1 | NA | Number | factorial(right) : Factorial of right argument | 1 | NA | Number | factorial(right)
("): Start/close string | 0 | NA | NA | NA ("): Start/close string | 0 | NA | NA | NA
(#): Comment | NA | NA | NA | NA (#): Comment | NA | NA | NA | NA
($): Sort the right argument | 1 | NA | Iterable | sorted(right) ($): Sort the right argument | 1 | NA | Iterable | sorted(right)
(%): Moduluo of left and right | 2 | Number | Number | left % right (%): Modulo of left and right | 2 | Number | Number | left % right
: Formats a string | 2 | String | String | left.format(right) : Formats a string | 2 | String | String | left.format(right)
(&): Logical and | 2 | Any | Any | left && right (&): Logical and | 2 | Any | Any | left && right
('): Delimit a variable name ('): Delimit a variable name
@ -44,10 +44,10 @@ Command | Description | Arity | Left | Right | Pythonish Representation
(D): Double | 1 | NA | Number | right * 2 (D): Double | 1 | NA | Number | right * 2
(E): Eval | 1 | NA | String | keta_eval(right) (E): Eval | 1 | NA | String | keta_eval(right)
(F): Factorise | 1 | NA | Number | find_factors(right) (F): Factorise | 1 | NA | Number | find_factors(right)
(G): Genrate range from 0 to right (inclusive) | 1 | NA | Number | range(0, right + 1) (G): Generate range from 0 to right (inclusive) | 1 | NA | Number | range(0, right + 1)
(H): Halve | 1 | NA | Number | right / 2 (H): Halve | 1 | NA | Number | right / 2
(I): If statement | 2* | Expression | Block | if(expression, blocks) (I): If statement | 2* | Expression | Block | if(expression, blocks)
(J): Join x by y | 2 | Iterable | String | right.join(left) (J): Join x with y | 2 | Iterable | String | right.join(left)
(K): Constant library | 1 | NA | Character | constants[right] (K): Constant library | 1 | NA | Character | constants[right]
(L): List range | 2 | Number | Number | range(left, right + 1) (L): List range | 2 | Number | Number | range(left, right + 1)
(M): Map function to iterable | 2 | Iterable | Block | map(right, left) (M): Map function to iterable | 2 | Iterable | Block | map(right, left)
@ -67,7 +67,7 @@ Command | Description | Arity | Left | Right | Pythonish Representation
([): Start a block ([): Start a block
(\): Escape the next character (\): Escape the next character
(]): End a block (]): End a block
(^): Exponate (^): Exponentiate
(_): Truthify (_): Truthify
(`): String ender (`): String ender
(a): all | 1 | NA | Iterable | all(right) (a): all | 1 | NA | Iterable | all(right)
@ -75,7 +75,7 @@ Command | Description | Arity | Left | Right | Pythonish Representation
(c): contains | 2 | Iterable | Any | right in left (c): contains | 2 | Iterable | Any | right in left
(d): divmod | 2 | Number | Number | divmod(left, right) (d): divmod | 2 | Number | Number | divmod(left, right)
(e): exec | 1 | NA | String | keta_exec(right) (e): exec | 1 | NA | String | keta_exec(right)
(f): filter | 2 | Iterable | Block | keta_fitler(left, right) (f): filter | 2 | Iterable | Block | keta_filter(left, right)
(g): generate exclusive range | 1 | NA | Number | range(0, right) (g): generate exclusive range | 1 | NA | Number | range(0, right)
(h): hack/stride | 2 | Iterable | Iterable(Number, Number) | left[right[0]:right[1]] (h): hack/stride | 2 | Iterable | Iterable(Number, Number) | left[right[0]:right[1]]
(i): loop variable (i): loop variable
@ -97,6 +97,6 @@ Command | Description | Arity | Left | Right | Pythonish Representation
(y): loop variable (y): loop variable
(z): z(s)leep | 1 | NA | Number | time.sleep(right) (z): z(s)leep | 1 | NA | Number | time.sleep(right)
({): Start a block ({): Start a block
(|): Seperate items (|): Separate items
(}): End a block (}): End a block
(~): Random number (~): Random number