3 ms·
During the day, I use Objective-C, Xcode, Clang, LLDB, Git, GitHub. During the night, I use Agda, Coq, Emacs.
by jonsterling 13y ago
During the day, I use Objective-C, Xcode, Clang, LLDB, Git, GitHub. During the night, I use Agda, Coq, Emacs.
loading thread…