ilyakooo0/Idris-dev
1
0
Fork 0
mirror of https://github.com/ilyakooo0/Idris-dev.git synced 2024-11-11 14:57:30 +03:00
Code Issues Projects Releases Wiki Activity
d8142b0d92
Idris-dev/codegen
History
raichoo f905a795c8 javascript: lift out node backend
2014-08-22 17:50:29 +02:00
..
idris-c Added idris-c executable 2014-08-07 15:06:17 +01:00
idris-javascript javascript: lift out javascript backend 2014-08-22 17:45:08 +02:00
idris-node javascript: lift out node backend 2014-08-22 17:50:29 +02:00