======================================================================== Agda compiler backend to Ruby
- Agda modules are compiled to Ruby modules.
- All arguments are curried.
- You can store and pass around "Agda" values/constructors/etc, and then "realize" the values in Ruby by calling the final value with its realizer constant (e.g.
--js on the
To compile to Ruby instead, switch to the
ruby branch and use the
Assuming a completed/fully functioning backend, it would be nice for Ruby shops to be able to reuse existing code that would be too much trouble to rewrite (authentication/client libaries, etc). Also a project like Lemmachine could be ported to Ruby's Rack interface, allowing one to easily deploy to many different Ruby hosting providers (Engine Yard, Heroku, etc).