(version: 1.1.2)
Development team: Tony Cantor, Larry Diehl, Chris Jenkins, Andrew Marmaduke, Colin McDonald, Aaron Stump
opaque definitions
parser, type-level let
module system design and implementation, phi terms
spine-local type inference, compilation to Racket
type-preserving rewriting, bug fixes, improved communication between frontend and backend, Cedille Core implementation
Cedille Core specification, design, backend
module system design and implementation
erasure indicated in context mode
interactive commands
design, backend
navigation
context mode
syntax highlighting
summary mode , initial documentation
design, backend
initial implementation
se-mode for structured navigation