This repository was archived by the owner on May 20, 2018. It is now read-only.

All issues

Typechecking fails for eliminations of values of computed types

#187

· robrix opened

on Dec 25, 2015

Error messages have no source info

#186

· robrix opened

on Dec 21, 2015

Modules can contain `Implicit` types and values

#185

· robrix opened

on Dec 21, 2015

Expected/actual types are shown out of context

#182

· robrix opened

on Dec 20, 2015

Expected/actual types are hard to read

#181

· robrix opened

on Dec 20, 2015

Some type parameters cannot be inferred

#180

· robrix opened

on Dec 20, 2015

Arbitrary Terms don’t get shrunk

#177

· robrix opened

on Dec 13, 2015

Pretty-print well-known embedded term values as “literals”

#176

· robrix opened

on Dec 13, 2015

Module dependencies are imported transitively

#173

· robrix opened

on Dec 13, 2015

Represent typechecking errors as annotated terms

#171

· robrix opened

on Dec 6, 2015

Replace `Term` with a typealias of `AnnotatedTerm<()>`

#168

· robrix opened

on Nov 7, 2015

Elaborate terms in modules

#163

· robrix opened

on Nov 5, 2015