Where communities thrive


  • Join over 1.5M+ people
  • Join over 100K+ communities
  • Free without limits
  • Create your own community
People
Repo info
Activity
  • Jan 12 2021 07:45

    maelvls on master-abdallah

    Ignore unused arguments in test… Refactor Types.Ast.t by mutuali… rename Empty to IsEmpty and 4 more (compare)

  • Jan 11 2021 08:51

    maelvls on master

    chore(ci): remove useless dispa… makefile: check deps before dun… test: everything in test/ shoul… (compare)

  • Jan 08 2021 11:18

    maelvls on master

    docs(readme): use https for the… (compare)

  • Jan 08 2021 11:17

    maelvls on master

    cods(readme): fix reference man… (compare)

  • Jan 08 2021 11:12

    maelvls on master

    docs(readme): update the ci bad… (compare)

  • Jan 07 2021 19:24

    maelvls on master

    Make model generation faster (compare)

  • Jan 07 2021 19:24
    maelvls closed #314
  • Jan 06 2021 19:06
    maelvls commented #314
  • Jan 06 2021 19:06

    maelvls on master

    chore(ci): also check that stuf… (compare)

  • Jan 06 2021 18:53
    maelvls synchronize #314
  • Jan 06 2021 18:51
    maelvls commented #314
  • Jan 06 2021 18:45
    maelvls commented #314
  • Jan 06 2021 18:43

    maelvls on opam-updates

    (compare)

  • Jan 06 2021 18:43

    maelvls on master

    chore(opam): min ocaml is now 4… chore(opam): fix error "<packag… chore(opam): enable --with-doc … and 7 more (compare)

  • Jan 06 2021 18:43
    maelvls closed #317
  • Jan 06 2021 18:33
    maelvls synchronize #317
  • Jan 06 2021 18:33

    maelvls on opam-updates

    chore(ci): use github actions i… (compare)

  • Jan 06 2021 18:29
    maelvls synchronize #317
  • Jan 06 2021 18:29

    maelvls on opam-updates

    chore(ci): remove tmate debuggi… (compare)

  • Jan 06 2021 18:24
    maelvls synchronize #317
Maël Valais
@maelvls
Any question? What some help? Feel free to leave a message here!
JoshCason
@JoshCason
Is it possible to import formulas from another file?