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


(version: development)

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