HigherOrderCO/Kindex

Issues

• Question: why U60 instead of U64 ?

  #114 opened a year ago by tinybeachthor
  2

• Add load/search of Kind files with name resolution

  #112 opened a year ago by developedby
  0

• Add Kind desugaring pass

  #107 opened a year ago by developedby
  0

• Add Kind unaaliasing pass

  #105 opened a year ago by developedby
  1

• Add a Kind parser

  #102 opened a year ago by developedby
  1

• Compiler crashes when using an undeclared alias

  #103 opened a year ago by developedby
  1

• Some files have tabs instead of spaces

  #98 opened a year ago by algebraic-dev
  1

• Kind2 check --coverage bug

  #96 opened 2 years ago by NaoEhSavio
  0

• About Equal.refl

  #76 opened 2 years ago by iacore
  0

• Implement Blastoise Function

  #19 opened 2 years ago by VictorTaelin
  1