datafun
Research on integrating datalog & lambda calculus via monotonicity types
How to download and setup datafun
Open terminal and run command
git clone https://github.com/rntz/datafun.git
git clone is used to create a copy or clone of datafun repositories.
You pass git clone a repository URL. it supports a few different network protocols and corresponding URL formats.
Also you may download zip file with datafun https://github.com/rntz/datafun/archive/master.zip
Or simply clone datafun with SSH
[email protected]:rntz/datafun.git
If you have some problems with datafun
You may open issue on datafun support forum (system) here: https://github.com/rntz/datafun/issuesSimilar to datafun repositories
Here you may see datafun alternatives and analogs
webpack babel next.js gatsby pkg parcel ruby golang-examples pyret-lang go iris awesome-cheatsheets CreepyCodeCollection ACM-ICPC-Preparation lebab cs-video-courses julia guido PumpkinDB kotlin kotlin-native influential-cs-books selfie reading Halide godzilla compiler-explorer Bridge lowlevelprogramming-university elvish