You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
||3 years ago|
|hfile||3 years ago|
|printf||3 years ago|
|.gitignore||3 years ago|
|README.md||3 years ago|
Old UNIX tools in newer programming languages. This contains the following:
* Idris (*dependent types* are quite powerful!) * Haskell * Rust
It will run them faster and especially safer.