marklemay/scala-validations
macro validations for common string like constructs
Developer Profile
marklemay
Discovered public repositories for marklemay in the GitHub catalog.
marklemay/tptpParser
an xtext based parser for the tptp grammer.
marklemay/simple-failing-project
to test https://wiki.jenkins-ci.org/display/JENKINS/JUnit+Attachments+Plugin
marklemay/agdaWorksheets
a place for my agda scratchwork
marklemay/learn-you-an-agda
Learn you an Agda (and achieve enlightenment)
marklemay/tutorials
some simple tutorial samples