Explore GitLab
Discover projects, groups and snippets. Share your projects with others
-
-
-
The Single-Assignment C compiler, called sac2c.
-
-
My talk about extraction in Agda
-
-
-
-
Discover projects, groups and snippets. Share your projects with others
The Single-Assignment C compiler, called sac2c.
My talk about extraction in Agda