Create your own GitHub profile
Sign up for your own profile on GitHub, the best place to host code, manage projects, and build software alongside 31 million developers.
Sign up
Pinned repositories
2,089 contributions in the last year
Activity overview
Contributed to
emilyhorsman/elm-type-inference,
emilyhorsman/raytracer,
emilyhorsman/timer-swift
and 5 other
repositories

Contribution activity
February 2019
- emilyhorsman/pointfree-discord-bot Haskell
- emilyhorsman/agda Haskell
Created a pull request in agda/agda that received 3 comments
[ new ] Add support for compiling literate Org documents
Org documents are a popular choice for Emacs users. These documents allow for source blocks. This commit adds support for literate Agda files with …
+204
−2
•
3
comments
38
contributions
in private repositories
Feb 1 – Feb 15