3 ms·Idris with Idris4Web is a very basic frameworkby sidcool 9y agoIdris with Idris4Web is a very basic framework