Resource aware DSELs
Posted by edwinb on February 12, 2009
Just wrote a short note about implementing resource aware domain specific languages by embedding in Idris. Still much to do, but the notation is getting better (less need to write strange looking types, for example).
