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