RaasAhsan/lambs

Issues

• OrderedMap for typing context and records/variants

  #8 opened 4 years ago by RaasAhsan
  0

• Capture typecheck errors as an ADT

  #5 opened 4 years ago by RaasAhsan
  1

• Property-based tests via typing relation

  #7 opened 4 years ago by RaasAhsan
  0

• Abbreviations

  #6 opened 4 years ago by RaasAhsan
  0

• Capture tuples as a derived form of records

  #1 opened 4 years ago by RaasAhsan
  1

• Organize into files

  #4 opened 4 years ago by RaasAhsan
  0

• Define a collection of combinators

  #3 opened 4 years ago by RaasAhsan
  0

• Latex to document typing relations

  #2 opened 4 years ago by RaasAhsan
  0