~remexre/sylvan

A general-purpose programming language that aspires to have support for attribute grammars, managed effects, and efficient pure functional programming.

b5cd7cb Prevents unification from introducing mroe CastDicts, CastTys, or FamilyApps.

~remexre pushed to ~remexre/sylvan git

2 days ago

8f43d59 HasTupleComponent solving.

~remexre pushed to ~remexre/sylvan git

2 days ago

#Sylvan

builds.sr.ht status

A general-purpose programming language that aspires to have support for attribute grammars, managed effects, and efficient pure functional programming. See the website for more information.

#Licenses

This repo follows version 3.0 of the REUSE specification, and spec-compliance is machine-checked every commit. Files may be marked individually, but broadly speaking (in a non-binding and imprecise manner; the REUSE-given information is authoritative):

  • The compiler itself (including the bootstrapper) is offered under the GPL, the same as GCC.
  • The standard library is dual-licensed as MIT and Apache 2.0, the same as the Rust standard library.
  • Editor tooling that doesn't depend on the compiler (e.g. syntax highlighting) is dual-licensed as MIT and Apache 2.0, the same as rust.vim.
  • Documentation is dual-licensed under the GFDL and CC-BY-SA, the same as Wikipedia.