Search results

Can't apply erased arguments to kinds imported from parametrized module

Status: Open.

#163 In cedille/cedille;

· ionathanch opened on Jan 11, 2022

cedille doesn't compile with agda 2.6.2

Status: Open.

#162 In cedille/cedille;

· sternenseemann opened on Jul 14, 2021

Default options file written to ~/.cedille/options is no longer correct

bugSomething isn't workingSomething isn't working

Status: Open.

#158 In cedille/cedille;

· ahubers opened on Sep 24, 2020

Cedille is not enforcing erasure requirements for constructor arguments in pattern-matching clauses

Status: Open.

#152 In cedille/cedille;

· amarmaduke opened on Mar 30, 2020

Cedille Core Elaboration Bug with Phi

Status: Open.

#151 In cedille/cedille;

· amarmaduke opened on Mar 30, 2020

Create a tutorial document for learning Cedille

Status: Open.

#148 In cedille/cedille;

· astump opened on Feb 26, 2020

Add a simple system for tracing messages

Status: Open.

#146 In cedille/cedille;

· astump opened on Feb 17, 2020

Check performance cost of calls to is-free in classify

Status: Open.

#145 In cedille/cedille;

· astump opened on Feb 17, 2020

Allow import M as _

good first issueGood for newcomersGood for newcomers

Status: Open.

#139 In cedille/cedille;

· astump opened on Jan 15, 2020

cleanup the Makefile for the parser

good first issueGood for newcomersGood for newcomers

Status: Open.

#138 In cedille/cedille;

· astump opened on Jan 14, 2020

Unable to build with stack

Status: Open.

#137 In cedille/cedille;

· rgrinberg opened on Dec 30, 2019

Show user when let-bound variable is not used

enhancementNew feature or requestNew feature or request

Status: Open.

#135 In cedille/cedille;

· astump opened on Dec 20, 2019