Stack Exchange

Joshua Grosso Reinstate CMs

http://www.its.caltech.edu/~jgrosso/

Senior at Caltech, BS '23 (Computer Science). Ex-professional web developer.

Loves Haskell (and functional programming in general) and, recently, Coq.

top accounts reputation activity subscriptions

Top Questions

package-refresh-contents hangs at Contacting host: elpa.gnu.org:80

windows emacs hang emacs24 elpa asked Mar 16, 2015 at 20:03

stackoverflow.com

Proof assistants with dynamic scope/local instances/etc.?

design mathematics asked Feb 11, 2022 at 18:36

proofassistants.stackexchange.com

Boost - Cannot open include file: 'ctype.h'

boost asked Apr 3, 2015 at 1:12

stackoverflow.com

Free variables in constraint-typing derivation?

type-theory type-inference types-and-programming-languages asked Jun 2, 2021 at 17:12

cs.stackexchange.com

Top Answers

webpack is not recognized as a internal or external command,operable program or batch file

stackoverflow.com

RSpec testing Devise Mailer

stackoverflow.com

IDE with preview of HTML, CSS and JavaScript websites

softwarerecs.stackexchange.com

Is it possible to turn unification errors into goals in Coq?

stackoverflow.com