russoul / idris2-lua Goto Github PK
View Code? Open in Web Editor NEWLua backend for Idris 2
License: MIT License
Lua backend for Idris 2
License: MIT License
Trying to install with Idris 2, v0.3.0, and I get this:
$ make all && make install
idris2 --build idris2-lua.ipkg
1/4: Building LuaCommon (src\LuaCommon.idr)
2/4: Building OrderDefs (src\OrderDefs.idr)
3/4: Building LuaAst (src\LuaAst.idr)
Error: Module Libraries.Data.Bool.Extra not
found
LuaGen:9:1--9:33
5 |
6 | import Core.Context
7 | import Core.Directory
8 |
9 | import Libraries.Data.Bool.Extra
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
make: *** [Makefile:36: build/exec/idris2-lua] Error 1
Is Idris2-Lua compatible with v0.3.0?
This is more of a note than an "issue" as such.
I needed to specify CFLAGS='--stdlib=libc++'
when installing bigint
to silence a warning:
clang: warning: include path for libstdc++ headers not found; pass '-stdlib=libc++' on the command line to use the libc++ standard library instead [-Wstdlibcxx-not-found]
I'm not sure if this is due to some quirk of my own Mac Brew setup, or if it's common to some or all other setups.
Hi, could this project be used to interface with the vis editor API?
Trying to brainstorm a use case for it.
Any advice or insight much appreciated.
Hey, you've done a great job! I think at least two things should be added to the readme.
What is required/expected lua version? I've checked that your codegen does not work with 5.1 (accidentially installed on my machine).
Also, I think that it should be in the readme that not only Idris 2 should be installed but that Idris2 API library (i.e. those named idris2
) should be installed also (e.g. using make install-api
of Idris 2).
A declarative, efficient, and flexible JavaScript library for building user interfaces.
๐ Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. ๐๐๐
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google โค๏ธ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.