- Portland, OR
- https://danilafe.com
- Joined on
2017-09-08
Block a user
custom-nix
Archiviato
Custom Nix expressions for private packages.
Aggiornato 2021-01-10 20:23:26 -08:00
An Agda formalization of some of what we talked about during the Formal interview.
Aggiornato 2024-09-24 18:46:42 -07:00