Skip to content

Commit

Permalink
on performance testing
Browse files Browse the repository at this point in the history
  • Loading branch information
@jamesmckinna
jamesmckinna committed Sep 4, 2024
1 parent ebe11e3 commit 8e05060
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion paper/paper.md
View file
Original file line number Diff line number Diff line change
Expand Up @@ -117,7 +117,7 @@ The first area is the foreign function interface with the underlying operating s
Since the correctness of the bindings to external libraries or the underlying OS' primitives cannot be reasoned about in Agda itself, these operations are included in the test suite.
The second area is performance.
The performance of a program cannot be analysed within Agda, making it necessary to include performance tests.
Although the library currently includes a few performance tests, this is not a major priority for the community, and remains an area in need of further work.
Although the library currently includes a few performance tests, this has not so far been a major priority for the community, and remains an area in need of further work.

# Notable achievements in version 2.0

Expand Down

0 comments on commit 8e05060

Please sign in to comment.