2 ms·
Idris does this with a REPL-like interface: https://www.youtube.com/watch?v=mOtKD7ml0NU https://www.youtube.com/watch?v=mOtKD7ml0NU
by hardwaresofton 7y ago
Idris does this with a REPL-like interface:
https://www.youtube.com/watch?v=mOtKD7ml0NU https://www.youtube.com/watch?v=mOtKD7ml0NU