Skip to content
Snippets Groups Projects
Select Git revision
  • f3d0f937f8b5ae09a5a175daf72fda253627a116
  • main default protected
  • 75389691-a67c-422a-91e9-aa58bfb5-main-patch-32205
  • test-pipe
  • extended-scripts
  • structured-badges
  • guix-pipeline
  • cabal-pipeline
8 results

walint

stuebinm's avatar
stuebinm authored
down almost 100 lines of code!

(and hopefully denotationally equivalent, except for the bits about
where it was wrong before and didn't replace uris correctly)
f3d0f937
History
Name Last commit Last update