chrisdone/duet
1
1
Fork 0
mirror of https://github.com/chrisdone/duet.git synced 2025-01-06 22:09:02 +03:00
Code Issues Projects Releases Wiki Activity

Add note

Browse Source
This commit is contained in:
Chris Done 2019-11-15 16:49:26 +01:00
parent 063a3f6235
commit 264f6fb7c4
1 changed files with 3 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
README.md
View File

@ -47,7 +47,8 @@ See also the next section for a complete example using all the
available syntax.
* No `let` syntax, no parameters in definitions e.g. `f x = ..` you
must use a lambda.
must use a lambda. Representing `let` in the stepper presents a
design challenge not currently met.
* Kinds `*` are written `Type`: e.g. `class Functor (f :: Type -> Type)`.
* Kind inference is not implemented, so if you want a kind other than
`Type` (aka `*` in Haskell), you have to put a kind signature on the
@ -72,7 +73,7 @@ available syntax.
* Rational
* Bool
* You don't need a `Show` instance to inspect values; the interpreter
shows them as they are, including lambdas
shows them as they are, including lambdas.
## Supported syntax