dckc / madmode-blog

my tinkering notebook (blog)
https://www.madmode.com
0 stars 2 forks source link

Jessy interpreter in idris2 #186

Open dckc opened 1 year ago

dckc commented 1 year ago

Mar 23 idea