github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2025-01-05 14:11:33 +03:00
Code Issues Projects Releases Wiki Activity

Allow Term to be partially applied.

Browse Source
This commit is contained in:
Rob Rix 2017-01-07 09:34:49 -05:00
parent ddaa2d2d18
commit 489631ee50
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/Term.hs
View File

@ -11,7 +11,7 @@ import Data.These
import Syntax
-- | A Term with an abstract syntax tree and an annotation.
type Term f annotation = Cofree f annotation
type Term f = Cofree f
type TermF = CofreeF
-- | A Term with a Syntax leaf and a record of fields.