Skip to content

Here's what's popular on GitHub today...

Gradle logo

Popular topic

#

Gradle

Gradle is an open-source build tool that helps teams build, automate and deliver better software, faster.
Google Cloud Build screenshot

App recommended by GitHub

Google Cloud Build

Google Cloud Build

Google Cloud Build

Google Cloud Build lets you create fast, consistent, reliable builds across all languages. Automatically build containers or non-container artifacts on commits to your GitHub repository. Get complete control over defining custom workflows for building, testing, and deploying across multiple environments such as VMs, serverless, Kubernetes, or Firebase.

Trending repository

SerenityOS / serenity

Star 17.6k
Find more good first issues

Trending repository

mindsdb / mindsdb

Star 4.9k
Find more good first issues

Trending repository

Kindelia / HVM

Star 3.2k
Open

Instantiating constructor into application position does not work intuitively

6
Quelklef
Quelklef commented Feb 5, 2022 
(App f x) = (f x)
(Succ x) = (+ x 1)
(Main) = (Pair (App Succ 0) (App @x(Succ x) 0))

This HVM code reduces (Main) to (Pair ((Succ) 0) 1). I would intuitively expect (Pair 1 1).

My understanding for this is that in (App Succ 0), the expression Succ is actually shorthand for (Succ), so we have (App (Succ) 0) which reduces to ((Succ) 0) which does not reduce.

Woul

Read more
good first issue

App recommended by GitHub

Codefresh

Codefresh

Build fast, deploy faster

Codefresh is a container-native CI/CD platform running on Kubernetes with embedded caching to provide maximum performance and high scalability.

Assemble pipelines in seconds

In Codefresh, every step in your pipeline is a Docker image, leverage the many out-of-the-box images available already in the codefresh plugins page to assemble your first pipeline or create your own custom steps using any Docker image.

Trending developers

See more trending developers