Skip to content
Snippets Groups Projects

Resolve "`whnf` doesn't unfold applications where the head is a declaration"

Merged Resolve "`whnf` doesn't unfold applications where the head is a declaration"
75-whnf-doesn-t-unfold-applications-where-the-head-is-a-declaration into main
Merged belazy requested to merge 75-whnf-doesn-t-unfold-applications-where-the-head-is-a-declaration into main

Closes #75 (closed)

Merge request reports

Loading
Loading

Activity

Filter activity
  • Approvals
  • Assignees & reviewers
  • Comments (from bots)
  • Comments (from users)
  • Commits & branches
  • Edits
  • Labels
  • Lock status
  • Mentions
  • Merge request status
  • Tracking
  • Loading
  • Loading
  • Loading
  • Loading
  • Loading
  • Loading
  • Loading
  • Loading
  • Loading
Please register or sign in to reply