search

edwinb / Idris2-boot

A dependently typed programming language, a successor to Idris
https://idris-lang.org/
Other
902 stars 58 forks source link

Fix Chicken CG after updates in compiler #343

Closed mokshasoft closed 4 years ago

mokshasoft commented 4 years ago

Since Chicken CG is commented out it had gotten out of sync with the rest of the compiler.

mokshasoft commented 4 years ago

Removing since Chicken backend is removed.