GitHub · Where software is built

8000 GitHub · Where software is built

Labels Milestones New issue

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

#163

· ionathanch opened

on Jan 11, 2022

cedille do B091 esn't compile with agda 2.6.2

#162

· sternenseemann opened

on Jul 14, 2021

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

#158

· ahubers opened

on Sep 24, 2020

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

#152

· amarmaduke opened

on Mar 30, 2020

Cedille Core Elaboration Bug with Phi

#151

· amarmaduke opened

on Mar 30, 2020

Create a tutorial document for learning Cedille

#148

· astump opened

on Feb 26, 2020

Add a simple system for tracing messages

#146

· astump opened

on Feb 17, 2020

Check performance cost of calls to is-free in classify

#145

· astump opened

on Feb 17, 2020

Allow import M as _

good first issue

#139

· astump opened

on Jan 15, 2020

cleanup the Makefile for the parser

good first issue

#138

· astump opened

on Jan 14, 2020

Unable to build with stack

#137

· rgrinberg opened

on Dec 30, 2019

Show user when let-bound variable is not used

#135

· astump opened

on Dec 20, 2019

0