search

links-lang / links

Links: Linking Theory to Practice for the Web
http://www.links-lang.org
Other
333 stars 43 forks source link

Refactoring of lens tests and benchmarking #1170

Closed rudihorn closed 1 year ago

rudihorn commented 1 year ago

These are just various changes I made during my PhD write-up which clean up the lens tests.