search

links-lang / links-benchmarks

a curated collection of programs used to benchmark various components of Links
Other
1 stars 4 forks source link

Transfer database benchmarks from links-lang/links. #1

Closed dhil closed 3 years ago

dhil commented 3 years ago

It seems none of them actually typechecks.