Folkert edc0717a7d specialize rigids		2020-10-12 23:58:39 +02:00
..
hello-world	Rebuild hosts automatically (for now)	2020-10-04 16:35:32 -04:00
multi-module	specialize rigids	2020-10-12 23:58:39 +02:00
quicksort	fix uniqueness bug	2020-10-12 22:16:10 +02:00
shared-quicksort	Use the same platform for quicksort and shared-quicksort	2020-10-04 16:35:25 -04:00
.gitignore	Make link paths generic and add libgcc_s	2020-10-11 14:31:42 -07:00