egel-lang/egel

Issues

• `[ (X Y) -> X ] (T b)` should reduce to `T` for any term `T`.

  #6 opened 9 months ago by jamestmartin
  3

• Code Review

  #4 opened a year ago by egel-lang
  1

• Can't build on MacOS

  #2 opened 3 years ago by tekknolagi
  1

• Build errors with gcc 8.1.1

  #1 opened 6 years ago by DennisMitchell
  0