mirror of
https://github.com/idris-lang/Idris2.git
synced 2024-12-17 16:21:46 +03:00
32263883ee
(Also, hopefully, this will poke travis to build the repo in its new location!)
2 lines
82 B
Scheme
Vendored
2 lines
82 B
Scheme
Vendored
(parameterize ([optimize-level 3]) (compile-program "idris2_app/idris2-boot.ss"))
|