3 ms·I clicked on this thinking it might me something like Agda for web development.by adamddev1 3y agoI clicked on this thinking it might me something like Agda for web development.