search

metasepi / postmortem

Postmortem for open-source operating systems
MIT License
1 stars 0 forks source link

Write Idris code to avoid some of bugs #31

Closed master-q closed 4 years ago

master-q commented 4 years ago

https://www.reddit.com/r/Idris/comments/d6omeb/is_it_possible_to_implement_a_backend_without_gc/

We think Idris doesn't want to support no GC runtime. Close me.