Possibility to use in Arduino
Hi @joaopizani,
I have sent you and email to discuss about my research on dependent type programming in Arduino.
I'm inspired by this repository. Would you mind to let me know is there any library or research that you are working on right now?