profile
viewpoint

pachopepe/Calculational 3

The calculational package provides a syntax, similar to the one used in calculational mathematics for defining quantifiers, lists, sets, and bags. A novelty in Calculational is that such objects can be executed!

pachopepe/mfxparser 2

A precedence climbing mixfix parser

pachopepe/parser-comb 2

Parser combinators

pachopepe/Lambda 1

Lambda Calculus Talk

pachopepe/Logo 1

Yesod logo proposal

pachopepe/perpetual 1

Perpetual Calendar based on rules.

more