2 commits

Author	SHA1	Message	Date
Artturin	1622e3ab6b	Remove all trailing spaces ... `git grep -I --name-only -z -e '' | xargs -0 sed -i 's/[ \t]\+\(\r\?\)$/\1/'` Remember to setup your editor so that these are automatically removed :)	2025-04-18 18:57:53 +03:00
Yehowshua Immanuel	cf68a5e683	converted to bluespec haskell	2024-05-19 22:16:33 -04:00