jespercockx/agda2scheme

Issues

• Automate unit tests

  #15 opened a year ago by lemastero
  1

• Adding CI using Github Actions?

  #13 opened a year ago by lemastero
  1

• Add a test runner

  #11 opened 3 years ago by jespercockx
  0

• Add a benchmarking suite

  #12 opened 3 years ago by jespercockx
  0

• Add a Makefile

  #10 opened 3 years ago by jespercockx
  0

• Compile nat-like and int-like types to integers

  #9 opened 3 years ago by jespercockx
  0

• Don't use lazy thunks for arguments that are always used

  #8 opened 3 years ago by jespercockx
  0

• Don't store constructor tag for records and single-constructor datatypes

  #5 opened 3 years ago by jespercockx
  0

• Use arrays instead of lists to represent constructors

  #7 opened 3 years ago by jespercockx
  0

• Use projections instead of match for single-case matches

  #6 opened 3 years ago by jespercockx
  0

• Support more built-in types

  #4 opened 3 years ago by jespercockx
  0

• Add support for foreign functions

  #3 opened 3 years ago by jespercockx
  0

• Add support for imports

  #2 opened 3 years ago by jespercockx
  0

• Add support for main function

  #1 opened 3 years ago by jespercockx
  0