1
1
mirror of https://github.com/github/semantic.git synced 2025-01-03 13:02:37 +03:00

This also no longer needs GADTs.

This commit is contained in:
Rob Rix 2017-01-25 03:19:00 -05:00
parent 0b93c638ea
commit e7e9a83f4c

View File

@ -1,4 +1,4 @@
{-# LANGUAGE DataKinds, GADTs #-}
{-# LANGUAGE DataKinds #-}
module Language where
import Data.Record