summaryrefslogtreecommitdiff
path: root/src/server
diff options
context:
space:
mode:
authorInari Listenmaa <inari.listenmaa@gmail.com>2025-08-13 14:02:53 +0200
committerGitHub <noreply@github.com>2025-08-13 14:02:53 +0200
commitfa2826d29a8a18df2a4394cbdab1261d070b5c48 (patch)
treeba01ba5a621471ee27dd4ea0ef200f8bc034abed /src/server
parent57dc5e9098765bd82e3428fbf0d7f419e502f3e6 (diff)
parent9325c8f9fb54d1de1c16f946723a2716fd3fbd86 (diff)
Merge pull request #196 from GrammaticalFramework/fix-code-generation
`import Control.Monad` when generating .hs with GADTs
Diffstat (limited to 'src/server')
0 files changed, 0 insertions, 0 deletions