hub.darcs.net :: jdgallag

jdgallag's repositories

• DCA
• NotesPapersTalks — My Papers, Talks, and Notes
• Partial_Rewriting — Partial Term Rewriting
• Partial_Rewriting_IgnoringContractions — Partial Rewriting Notes
• PartialTerms2014
• Random_Brains — How hard is it to think randomly
• Rewriting — Rewriting Tools and Stuff
• RSL — Repo for the RSL language
• TermRewriting
• TypedHardware — Runtime Type Insurance