Search results

Reconsider LHS checking algorithm

Status: Open.

#61 In owo-lang/narc-rs;

· ice1000 opened on Oct 5, 2020

Verbosity levels

cliCommand lineCommand line

help wantedExtra attention is neededExtra attention is needed

Status: Open.

#55 In owo-lang/narc-rs;

· ice1000 opened on Dec 11, 2019

Use TCE with stacktrace &amp; pos-col instead of <code>unreachable!()</code>s

enhancementNew feature or requestNew feature or request

error messageThat explains something wrongThat explains something wrong

help wantedExtra attention is neededExtra attention is needed

Status: Open.

#54 In owo-lang/narc-rs;

· ice1000 opened on Dec 2, 2019

Smart emoji formatter

cliCommand lineCommand line

help wantedExtra attention is neededExtra attention is needed

Status: Open.

#53 In owo-lang/narc-rs;

· ice1000 opened on Dec 2, 2019

Named deBruijn variables

enhancementNew feature or requestNew feature or request

Status: Open.

#52 In owo-lang/narc-rs;

· ice1000 opened on Dec 1, 2019

Implicit application

parserSurface syntaxSurface syntax

Status: Open.

#46 In owo-lang/narc-rs;

· ice1000 opened on Oct 14, 2019

Re-think about constructor and projection's telescope

constructorCreate datatype instancesCreate datatype instances

implicitImplicit variablesImplicit variables

projectionEliminate codata instancesEliminate codata instances

Status: Open.

#28 In owo-lang/narc-rs;

· ice1000 opened on Oct 7, 2019

Check projections

projectionEliminate codata instancesEliminate codata instances

Status: Open.

#18 In owo-lang/narc-rs;

· ice1000 opened on Oct 4, 2019

Check codata declarations

enhancementNew feature or requestNew feature or request

Status: Open.

#16 In owo-lang/narc-rs;

· ice1000 opened on Oct 4, 2019

Check application

enhancementNew feature or requestNew feature or request

Status: Open.

#14 In owo-lang/narc-rs;

· ice1000 opened on Oct 4, 2019

Discussion

invalidThis doesn't seem rightThis doesn't seem right

wontfixThis will not be worked onThis will not be worked on

Status: Open.

#2 In owo-lang/narc-rs;

· ice1000 opened on Sep 27, 2019