Explore GitLab
Discover projects, groups and snippets. Share your projects with others
-
My talk about extraction in Agda
-
Paper on blocked matmul for ARRAY'23
-
JFP pearl about rank-polymorphic scan and array theory
-
My experiments with defining syntax for deeply-embedded DSLs.
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-