Comments (4)
Does typing lamdu
in the shell work? What about ~/.local/bin/lamdu
?
from lamdu.
Thanks. I found lamdu in ~/.local/bin/, but when I run it, I get this:
$ .local/bin/lamdu
Main exiting due to exception: MissingFont "/Volumes/P3/Lamdu/lamdu/.stack-work/install/x86_64-osx/nightly-2015-12-17/7.10.3/share/x86_64-osx-ghc-7.10.3/Lamdu-0.1/fonts/Purisa.ttf does not exist!"
I see that only DejaVuSans.ttf is found in that directory, but if I copy in the other fonts, then lamdu starts up.
The first time I did Quit from the lamdu menu, I got this:
lamdu(48657,0x7fff7637d000) malloc: *** error for object 0x4000000000000000: pointer being freed was not allocated
*** set a breakpoint in malloc_error_break to debug
Abort trap: 6
Afterwards, it did not happen.
Now it remains to see if I can figure out how to use lamdu. ;-)
from lamdu.
Oh, we lately added some fonts and did not update the cabal file. Now that problem should be fixed
from lamdu.
Alright, now added to the instructions to run it from ~/.local/bin
Thanks!
from lamdu.
Related Issues (20)
- WYTIWYS support for case brackets
- Show type-mismatch hole results as lightweight fragments (without presenting types)
- Deleting first alt/field in an open case goes to red cursor HOT 1
- Backspace after "," in record deletes entire record
- Abbreviation avoidance too strict?
- Stack size exceeded error in simple snippet HOT 2
- Wrong value annotation for array
- CI Linux environment broken HOT 1
- Layout improvement for multi-line operators HOT 1
- Allow underscore in alphanumeric search-string in holes
- Cmd+Right to move if-expression's condition to true branch
- Assertion when adding function parameter HOT 2
- Assertion in hole completions when LocalMut is involved? HOT 1
- New presentation mode editing UX HOT 1
- Light lambda sugar check broken for nested parameters
- Smooth resize in macOS HOT 2
- Consider enter key for add let item
- Bug in fragment search-term HOT 1
- UI does not contain shell HOT 3
- Windows Installation
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.
from lamdu.