Skip to content

use data instead of fun so pattern-matching on def's is possible#8

Open
odanoburu wants to merge 1 commit intoGrammaticalFramework:masterfrom
odanoburu:data
Open

use data instead of fun so pattern-matching on def's is possible#8
odanoburu wants to merge 1 commit intoGrammaticalFramework:masterfrom
odanoburu:data

Commits

Commits on Aug 13, 2018