dylanede

35 repositories

35 followers

Repositories

Select a repository to view its commits, contributors, and more.

Experiments towards non-standard analysis in cubical Agda

Automatically exported from code.google.com/p/blaze-lib

Compile-time function calling convention manipulation for Rust