All pull requests

Pull requests

• Fix record/tuple literal elaboration

  #508·Kmeakin opened Sep 6, 2023Contributor·

  ·
  1

• build: Fix larlpop dependency

  #505·jtojnar opened Apr 21, 2023·

  ·

• Improve diagnostic messages for errors in elaborating record projections

  #504·Kmeakin opened Feb 17, 2023Contributor·

  ·

• Improve diagnostic messages for errors in elaborating fun apps

  #503·Kmeakin opened Feb 17, 2023Contributor·

  ·

• Remove Array8, Array16 and Array32 types

  #502·Kmeakin opened Feb 13, 2023Contributor·

  ·
  1

• Improve binop elaboration in synth mode

  #501·Kmeakin opened Feb 12, 2023Contributor·

  ·

• Scope each metavar to the definition where it was generated

  #500·Kmeakin opened Feb 11, 2023Contributor·

  ·

• Cleanup surface::elaboration

  #495·Kmeakin opened Feb 6, 2023Contributor·

  ·

• Lazy evaluation

  #476·Kmeakin opened Jan 23, 2023Contributor·

  ·
  1

  6

• Add letrec terms

  #469·Kmeakin opened Jan 19, 2023Contributor·

  ·
  4

• Record/tuple patterns and new pattern match compiler and coverage checker

  #430·Kmeakin opened Dec 12, 2022Contributor·

  ·
  29

• Switch to an explicitly typed core language

  #417·brendanzab opened Nov 10, 2022Member·

  ·
  1

  7

• Read simple glyph flags

  #392·wezm opened Aug 25, 2022Contributor·

  ·
  10

• Add some sketches of Fathom’s core in Idris 2

  #391·brendanzab opened Aug 25, 2022Member·

  ·
  1