Permalink
Browse files

Minor fixes

  • Loading branch information...
marciof committed Dec 21, 2018
1 parent 49a7e6d commit 3d263434f46f62a859aeb2224d1647b232fca45a
Showing with 8 additions and 8 deletions.
  1. +8 −8 stdlib/core.k
@@ -14,48 +14,48 @@
\global-bindings: bindings
\...: \...

\_if: \((get
\if: \((get
{
true: \(evaluate bindings::3)
false: \(evaluate bindings::4)
}
(evaluate bindings::2))

\_and: \(evaluate (get
\and: \(evaluate (get
{
true: bindings::3
false: false
}
(evaluate bindings::2)))

\_or: \(evaluate (get
\or: \(evaluate (get
{
true: true
false: bindings::3
}
(evaluate bindings::2)))

\_not: \(get
\not: \(get
{
true: false
false: true
}
(evaluate bindings::2))

\_<>: \(_not (=
\<>: \(not (=
(evaluate bindings::2)
(evaluate bindings::3)))

\_<=: \(_not (>
\<=: \(not (>
(evaluate bindings::2)
(evaluate bindings::3)))

\_>=: \(_not (<
\>=: \(not (<
(evaluate bindings::2)
(evaluate bindings::3)))

# If only one evaluate it.
# Else remove first and call resursively.
# Else remove first and call recursively.
\do: ...

\function: ...

0 comments on commit 3d26343

Please sign in to comment.