Hacker Newsnew | past | comments | ask | show | jobs | submitlogin

Cannot edit for reason, but I thought I would mention, as this is of vital importance to me when i'm learning something new, that both Idris and F* are open source;

https://github.com/nikswamy/FStar (Apache) https://github.com/idris-lang/Idris-dev (do whatever, just retain copyright)



coq is LGPL, apparently.




Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: