User:Epiphanie: Difference between revisions
Content added Content deleted
No edit summary |
No edit summary |
||
Line 2: | Line 2: | ||
{{mylangbegin}} |
{{mylangbegin}} |
||
⚫ | |||
{{mylang|C++|Advanced}} |
{{mylang|C++|Advanced}} |
||
{{mylang|Coq|Advanced}} |
{{mylang|Coq|Advanced}} |
||
⚫ | |||
{{mylang|OCaml|Intermediate}} |
{{mylang|OCaml|Intermediate}} |
||
{{mylang|Prolog|Beginner}} |
|||
{{mylangend}} |
{{mylangend}} |