21 Jun 2017
TONIGHT at MakeOffices #Bethesda: Interested in #programming? Join @HaskellDC here! meetup.com/Haskell-DC/events…
1
2
1 Sep 2014
"Hoogle" for #Idris or "Type-directed search with dependent types" by Ben Sherman haskelldc.github.io/type-sea… at @HaskellDC #HaskellDC
3