- Apr 22, 2022
-
-
Alexander Gehrke authored
-
- Apr 21, 2022
-
-
Alexander Gehrke authored
- Changed build settings - Changed kind-projector code to new lambda syntax - Applied automatic syntax rewrites
-
- May 13, 2019
-
-
Felix Herrmann authored
-
- Changed build settings - Changed kind-projector code to new lambda syntax - Applied automatic syntax rewrites
