All issues

Search results

Are IRC channels still on freenode or have they moved to libera?

Status: Open.

#25 In ermine-language/ermine;

· cognivore opened on Aug 31, 2021

Compiler work metabug

Status: Open.

#24 In ermine-language/ermine;

· S11001001 opened on Jul 17, 2015

Revisit data type declarations in the new compiler, to see if we can improve inference for partially annotated data types

Status: Open.

#23 In ermine-language/ermine;

· S11001001 opened on Jul 17, 2015

Save findGlobals name index for resolving names while parsing statements

active

Status: Open.

#21 In ermine-language/ermine;

· S11001001 opened on Feb 19, 2015

:load REPL command

staged

Status: Open.

#20 In ermine-language/ermine;

· S11001001 opened on Feb 18, 2015

Parse whitespace and comments

active

lexical syntax of comments

Status: Open.

#18 In ermine-language/ermine;

· S11001001 opened on Feb 10, 2015

ekg cannot be turned on for Windows builds

windows

Status: Open.

#17 In ermine-language/ermine;

· S11001001 opened on Feb 6, 2015

Satisfy 'moduleLoader''s State requirement in the REPL

staged

Status: Open.

#16 In ermine-language/ermine;

· S11001001 opened on Jan 20, 2015

Generalize wholeModule's type

syntax

Status: Open.

#14 In ermine-language/ermine;

· S11001001 opened on Jan 20, 2015

Spin off Ermine.Unification.Sharing as a separate package?

enhancement

question

Status: Open.

#7 In ermine-language/ermine;

· ekmett opened on Mar 13, 2014

Getting started

Status: Open.

#5 In ermine-language/ermine;

· imeredith opened on Jul 30, 2013

Select operators for import

compatibility

lexical syntax

Status: Open.

#3 In ermine-language/ermine;

· S11001001 opened on Mar 26, 2013