I hereby claim:
- I am odanoburu on github.
- I am odanoburu (https://keybase.io/odanoburu) on keybase.
- I have a public key ASDkjd3g_9_LtCYzZ_WWf3MwSN9Lv0MhffU1R3Ce__mmRgo
To claim this, I am signing this object:
| # name of container image we use (must be on docker hub) | |
| image: odanoburu/racket-pollen:7.7 | |
| # everything we need (Racket and Pollen) is already on the container, | |
| # so no need to install anything (but if you want something else | |
| # installed this is the place to do it) | |
| before_script: | |
| - ls # for the logs | |
| # deploy public/ directory to Gitlab Pages |
| resource PhonoPor = open Prelude in { | |
| -- the implementation is wrong, the point is the use of `pre` | |
| oper | |
| a : pattern Str = #("a") ; | |
| o : pattern Str = #("o") ; | |
| elisEm : Str ; | |
| {-- doesn't work, complains about "a" not being a pattern | |
| elisEm = pre {"em" ; "na" / "a" ; "no" / "o"} ; |
| -- hack to get the same behaviour as from variants. parses both, | |
| -- linearizes the first. | |
| vars : Str -> Str -> Str = \x,y -> pre { "" => x ; _ => y } ; | |
| mkPass : Str -> Gender => Number => Str ; | |
| -- passive form is highly predictable from singular masculine form | |
| mkPass p = case p of { | |
| amad + "o" => genNumForms p (amad + "a") (amad + "os") (amad + "as") ; | |
| entregu + "e" => \\g => numForms p (entregu + "es") ; | |
| _ => error "unknown ending" -- nothing should reach here |
| abstract Test = { | |
| cat S ; -- entry | |
| Thing ; | |
| fun | |
| A, B : Thing ; | |
| mkTest : Thing -> Thing -> S ; | |
| } ; |
| ### to use this image you should put this Dockerfile on the root of the main GF repository | |
| # official haskell image -- doesn't seem to work with stack: | |
| FROM haskell:8.2 | |
| # this image will work with stack https://github.com/ajscholl/docker-haskell/commit/62ff8e4d28949035f65f23cf68fad774b70ebb0e | |
| RUN apt-get update \ | |
| && apt-get install -y \ | |
| libghc-haskeline-dev \ | |
| autoconf \ |
I hereby claim:
To claim this, I am signing this object:
| license: gpl-3.0 | |
| height: 500 | |
| scrolling: yes | |
| border: yes |
| license: gpl-3.0 | |
| height: 500 | |
| scrolling: yes | |
| border: yes |