after #2157 JS backend produces node-compatible code , but it doesn't work in browser without modifications . how about we make an option for different kind of js targets ? amd-style modules seem to be very easy to generate (i've already experimented a little bit) and we can have additional --js-amd flag (and perhaps opposite --js-node enabled by default) for that . i can provide pr for this as soon as i figure out adding options and building agda effectively ^_)
RetroSearch is an open source project built by @garambo | Open a GitHub Issue
Search and Browse the WWW like it's 1997 | Search results from DuckDuckGo
HTML:
3.2
| Encoding:
UTF-8
| Version:
0.7.4