kyagrd's repositories

• oplss11 — some work
• MendlerFix — Mendler style fixpoint datatype and recursion combinators http://kyagrd.dyndns.org/wiki/MendlerStyleRecursionCombinators
• enum — Enum typechecks as a datatype but compiles down to the represnetaion of desired integer (or integer-like) values. This is a special case of Shared Subtypes. http://portal.acm.org/citation.cfm?id=1411297
• derp-lib — combinators based on parsing with derivatives (derp) package http://darcsden.com/kyagrd/derp-lib