Skip to content

Commit

Permalink
Remove tags from environment items for function parameters
Browse files Browse the repository at this point in the history
Simplify the composition of environments for function application: Remove the wrapping of each argument item in a labeled list.
  • Loading branch information
Viir committed Jun 14, 2023
1 parent fa25a85 commit b7997c6
Show file tree
Hide file tree
Showing 3 changed files with 23 additions and 240 deletions.
Loading

0 comments on commit b7997c6

Please sign in to comment.