curly.org

Release Curly v1.0 [88%]

Implement basic language features

Add a type and class system

Implement a parser that handles local syntax definitions

Implement syntactic macros

Make the library format forward-compatible

Include all basic function metadata (value,type,strictness)

Allow for the presence of additional sections in the future

Streamline the UI

Unify the syntaxes for symbol paths between command-line options, configuration files and source files

’.’ was chosen as a path separator for its ubiquity in other languages.

Make all formatting queries go through the documentation process

Use formatting queries to show parts of a module (with the ‘show’ function)

Use formatting queries to filter and prettify library listings

See ‘vcs list’, ‘repository contents’ and other such features.

Implement continuous builds when the –translate option is specified over long-running sessions

Write the docs

A tutorial on the basics of the Curly language

A description of the Curly Compiler, with its configuration files

A description of the formatting language used in printing and query functions

A website to welcome new users to the Curly ecosystem

Start hosting a DHT-based VC on several servers spread out over the world

This in order to provide a safe default publishing platform for any Curly programmer wishing to publish his/her work, rather than insisting they each find or host their own.

Extension: Formally-verified Curly

Proof-annotated variables

The Delta combinator, for discrimination of lambda-terms