Issues · Verifisc / Mlang · GitLab

Update Readme and maybe create a special website/documentation for Mlang?

#15 · opened Sep 25, 2020 by Raphaël Monat documentation enhancement suggestion
- 2
updated Sep 28, 2020
Remove the `output` function parameter in M++ file

#17 · opened Sep 28, 2020 by Denis Merigoux enhancement good first issue
- 0
updated Sep 28, 2020
Create an OCaml backend for Mlang

#18 · opened Sep 28, 2020 by Denis Merigoux enhancement good first issue
- 1
updated Oct 09, 2020
Remove hardcoded list of aliases

#19 · opened Oct 09, 2020 by Denis Merigoux enhancement
- 2
updated Oct 09, 2020
Backend: tag operations with the defined-ness of their arguments

#21 · opened Nov 03, 2020 by Raphaël Monat enhancement
- 0
updated Nov 03, 2020
Check performance of partial evaluation on tests

#22 · opened Nov 03, 2020 by Raphaël Monat enhancement
- 0
updated Nov 03, 2020
Factor inline conditionals?

#23 · opened Nov 03, 2020 by Raphaël Monat enhancement
- 0
updated Nov 03, 2020