Skip to content

Commit

Permalink
Slight rewording of the spec README
Browse files Browse the repository at this point in the history
  • Loading branch information
@yannham
yannham committed Nov 4, 2022
1 parent 0b79eff commit 262a893
Showing 1 changed file with 5 additions and 5 deletions.
10 changes: 5 additions & 5 deletions spec/README.md
View file
Original file line number Diff line number Diff line change
Expand Up @@ -2,8 +2,8 @@

This directory hosts the specifications of different parts of the Nickel core
language. It is currently limited to ongoing work on the type system and the
typechecking algorithm, but is intended to eventually cover syntax and the
operational semantics (including merging and contracts). As opposed to RFCs or
other kind of technical documentation, specifications don't include motivation
or justification for specific features, but are extensive and usually formal
descriptions of the current model of the language.
typechecking algorithm, but is intended to eventually cover syntax as well as
the operational semantics of Nickel. As opposed to RFCs or other kind of
technical documentation, specifications don't include motivation or
justification, but are extensive and usually formal descriptions of the current
model of the language.

0 comments on commit 262a893

Please sign in to comment.