cedille/ial

Issues

• (Set ℓ) != Set in closures.agda when trying to compile IAL

  #12 opened 4 months ago by shingarov
  0

• Termination checking fails for bt-replace-min

  #7 opened 2 years ago by jrp2014
  3

• `max-<2` is the same as `max-<1` but probably is should be different

  #9 opened 3 years ago by rfindler
  0

• New release?

  #6 opened 5 years ago by jonaprieto
  1

• The Huffman development depends on gratr but its not clear how to use it

  #3 opened 5 years ago by amarmaduke
  0

• Upgrade to Agda 2.5.4

  #1 opened 6 years ago by cwjnkins
  0