Skip to content

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

Google logo

Popular topic

Google LLC is an American multinational technology company that specializes in Internet-related services and products.

Trending repository

Trending repository

Trending repository

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

App recommended by GitHub

DeepAffects

Managing teams to deliver projects/products on time is hard, but figuring out where your team collaboration is lacking can be even more painful. DeepAffects analyzes emotions and tones in issue description and comments to provide actionable insights to identify the high-resolution time issues, disagreements in the team.

DeepAffects is a team dynamics analytics application, for managers & team leads, to get issue-level emotional insights, to increase team dynamics & productivity.