jespercockx/agda2scheme Issues
Automate unit tests
Updated 1Adding CI using Github Actions?
Closed 1Add a benchmarking suite
UpdatedAdd a test runner
UpdatedAdd a Makefile
UpdatedSupport more built-in types
UpdatedAdd support for imports
Updated