Next: about, Previous: changelog, Up: Top [Index]

(version: 1.1.2)

## 26 Credits

### Fall 2018-Winter 2019:

Development team: Tony Cantor, Larry Diehl, Chris Jenkins, Andrew Marmaduke, Colin McDonald, Aaron Stump

### Fall 2017 to Summer 2018:

Tony Cantor

  opaque definitions

Ernesto Copello

  parser, type-level let

Larry Diehl

  module system design and implementation, phi terms

Chris Jenkins

  spine-local type inference, compilation to Racket

Colin McDonald

  type-preserving rewriting, bug fixes, improved communication between frontend and backend, Cedille Core implementation

Aaron Stump

  Cedille Core specification, design, backend

### Summer 2017

Larry Diehl

  module system design and implementation

Denis Firsov

  erasure indicated in context mode

Colin McDonald

  interactive commands

Aaron Stump

  design, backend

### Summer 2016

Richard Blair

  navigation

Ananda Guneratne

  context mode

Matthew Heimerdinger

  syntax highlighting

Chad Reynolds

  summary mode , initial documentation

Aaron Stump

  design, backend

### Spring 2016

Aaron Stump

  initial implementation

### 2015

Carl A. Olson

  se-mode for structured navigation