search

tsoding / Noq

Simple expression transformer that is not Coq.
MIT License
253 stars 24 forks source link

Cannot Compile On Windows #8

Closed semihartan closed 2 years ago

semihartan commented 2 years ago

Hello, I am a applied mathematician. I wanted to compile and give a try your interesting project but the compiling process fails on Windows due to Termion library. I am new to Rust and dont have any experience on it. Can somebody help me, please?

ghost commented 2 years ago

Same

bitRAKE commented 2 years ago

There is a windows compatible version of Termion here: https://gitlab.redox-os.org/Jezza/termion/-/tree/windows-support

bitRAKE commented 2 years ago

I couldn't get termion to work, but this is only my second day with Rust.

Instead I switched the terminal to use crossterm: https://github.com/bitRAKE/Noq/tree/windows

It seems to work. Perhaps I have made some obvious errors?

semihartan commented 2 years ago

I heard that but didn't know how to integrate it. Thank you!