Inari Listenmaa 3e0c0fa463 define default depths for shell and server only once

2025-08-02 21:46:13 +02:00

..

compiler

define default depths for shell and server only once

2025-08-02 21:46:13 +02:00

example-based

fix packages

2019-08-18 09:37:55 +02:00

programs

Changes made in order to get Hackage upload working

2021-08-09 13:41:25 +02:00

runtime

Merge branch 'master' of https://github.com/GrammaticalFramework/gf-core into hleiss/master

2025-08-02 19:02:30 +02:00

server

define default depths for shell and server only once

2025-08-02 21:46:13 +02:00

tools

Update some old unused code to support newer ghc

2022-10-04 13:07:07 +02:00

www

Update robots.txt

2024-11-26 12:15:41 +01:00