4 Commits

Author	SHA1	Message	Date
hans	635d2d40d1	makefile-targets and some other meta info functions added	2026-08-18 02:15:33 +02:00
hans	a21f4a4a39	Removed rash integration again and backported raco call.	2026-08-17 21:40:48 +02:00
hans	0f1c1da672	Added makefile.rkt	2026-08-09 00:32:36 +02:00
hans	b563d359f0	Some extra helper functions	2026-08-08 23:36:35 +02:00