Elm
Code Extraction from Coq to (E)ML-like languages
Show and Tell
system
Closed
July 25, 2021, 2:22pm
9
This topic was automatically closed 10 days after the last reply. New replies are no longer allowed.
show post in topic
Related topics
Topic
Replies
Views
Activity
Your problems writing Elm code with AI/LLM
Request Feedback
9
1038
March 13, 2024
Where is Elm going; where is Evan going
Request Feedback
161
11711
March 1, 2024
Backward compatibility of new Elm-like languages to Elm
Request Feedback
3
459
June 24, 2025
Is it fair to say abstraction and expressiveness are Elm's weak points?
Learn
26
4807
June 8, 2018
Idea: A Lisp-like language that compiles to Elm
Request Feedback
20
3400
March 29, 2019