links
links copied to clipboard
links-lang
Links: Linking Theory to Practice for the Web
Update the documentation to reflect changes to syntax made in the last few versions, that make existing documentation and examples wrong. - [ ] Recursive type inlining (0.6) - [...
In the documentation at https://links-lang.org/quick-help.html#Function-types-and-effects it appears there is a typo in the line `{E}~> {wild, E}~>` since in section 5.5 of the TLDI 2012 paper on Links, the syntactic...
`PP.ml` is an implementation of Wadler-style pretty printing adapted to a call by value language. The OPAM package `pprint` appears to be similar enough that we could use it instead...
The wiki page https://github.com/links-lang/links/wiki/Nested-query-results gives incorrect instructions for use of nested queries. The config file options are no longer needed because the `query nested` syntax is now used.
There doesn't seem to be any mention of INSERT RETURNING in the documentation (quick-help or Sphinx), and there should be.
As a recent new user of links, I am documenting my experiences with installation on MacOS to record the process and to support development of better documentation for new users....
This proposal is about providing lightweight syntax for partial application of `n`-ary function application for `n > 1`. ## What: Partial application Links supports partial application of curried functions, e.g....
When releasing the links-mysql package, someone from the opam team pointed out that our links-mysql.opam file lists the following dependencies: ``` depends: [ "ocaml" {>= "4.08.0"} "dune" {>= "1.10.0"} "conf-mysql"...
In using Links' first-class polymorphism I have stumbled upon what appears to be a curious interaction amongst the type checker, type inference engine, and the unification engine. Consider the following...
Continuation of #869/#908 which implements switch functions for uncurried functions.