Agda
agdaA dependently typed functional programming language.
A dependently typed functional programming language.
//Users/octocat/agda/standard-library/standard-library.agda-libmachine-localOtty splits these out before upload and puts each machine’s own back on the way down — no templates to write. The lines above come from this tool’s test fixture in the catalog.
//Users/octocat/agda/standard-library/standard-library.agda-libmachine-localOtty splits these out before upload and puts each machine’s own back on the way down — no templates to write. The lines above come from this tool’s test fixture in the catalog.
//Users/octocat/agda/standard-library/standard-library.agda-libmachine-localOtty splits these out before upload and puts each machine’s own back on the way down — no templates to write. The lines above come from this tool’s test fixture in the catalog.
Nothing. Agda writes no caches or state in your home directory.
//Users/octocat/agda/standard-library/standard-library.agda-libmachine-localEach machine keeps its own copy of these.
//Users/octocat/agda/standard-library/standard-library.agda-libmachine-localEach machine keeps its own copy of these.
//Users/octocat/agda/standard-library/standard-library.agda-libmachine-localEach machine keeps its own copy of these.
Only what the catalog names. A directory that syncs brings everything inside it except what is listed as excluded here.
Opens otty://sync/add/agda. Otty ships with this catalog, so the link only has to name the tool — nothing is downloaded.
Every one of these is generated from the same rules as this page. None of them splits / and / for you — that part is Otty’s own sync, or a template you write by hand.