3 ms·
This is an excellent suggestion. I will take a stab at this, but probably in Idris first if you don't mind. If I succeed then I will write about what I learne
by Gabriel439 12y ago
This is an excellent suggestion. I will take a stab at this, but probably in Idris first if you don't mind. If I succeed then I will write about what I learned.
- solomatov 12y agoIf you need any help with agda, just ask.
- Gabriel439 12y agoHow do I contact you? Can I find you on the #agda channel on IRC?
- solomatov 12y agoYou can contact me via konstantin dot solomatov at google mail. I visit #agda channel from time to time.