All pull requests

Pull requests

• Add extensions on variants

  #532·lthls opened Jul 2, 2021·

  ·
  1

• Unrecursify in closure conversion

  #456·chambart opened May 20, 2021·

  ·
  6

• Unboxing document

  #425·mshinwell opened Apr 29, 2021·

  ·
  

• CSE of involutions

  #410·chambart opened Apr 20, 2021·

  ·
  8

• Introduce tagging and not while going down on boolean switch

  #409·chambart opened Apr 20, 2021·

  ·

• Replace aliases in Aliases_of_canonical_element.t with 3 fields

  #383·lukemaurer opened Mar 31, 2021·

  ·
  6

• WIP: Poison constants

  #379·chambart opened Mar 30, 2021·

  ·
  2

• Row_like indexes allows to represent a range rather than only upward closed set

  #361·chambart opened Mar 22, 2021·

  ·
  2

• Better extension from meet

  #316·lthls opened Feb 18, 2021·

  ·
  4

• Sort mutually-recursive constants by linkage name, not id

  #315·lukemaurer opened Feb 18, 2021·

  ·
  1