• Definition cleanups Aug 6
  • Maintain items through to elaboration Aug 12
  • Move normalization to submodule Aug 13
  • Remove where clauses for now Aug 13
  • Document modules Aug 14
  • Create label wrapper types and use for module items Aug 14
  • Use Nest type combinator for record fields Aug 20
  • Assorted cleanups Aug 20
  • WIP: Variants Aug 20
  • Add Pikelet mascot to README Aug 21
  • Replace rustyline with linefeed Aug 21
  • Add environment traits Aug 22
  • Fix church encoded types Aug 22
  • Move implementation notes to rustdoc Aug 23
  • Fix nest bugs Aug 20
  • Add impls for 4-tuples and 5-tuples Aug 21
  • Bump codespan and codespan-reporting versions Aug 21