roads Ruby language (the relational HDL, not Rails) implemented as an EDSL in Idris using algebraic effects.