Elm
Sympathy for the Machine: A lost tactical proof system
Learn
system
Closed
June 14, 2020, 4:12pm
5
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
I made a machine
Show and Tell
1
1197
October 23, 2018
Simply Typed Lambda Calculus in Elm
Show and Tell
1
888
September 7, 2018
Tricking elm-test into solving a river-crossing puzzle
Show and Tell
6
1157
March 26, 2018
Sim - A Delightful Language for Circuit Design
Request Feedback
20
1615
May 21, 2020
Calling all Elm devs who have implemented custom text editing/parsing in Elm
Request Feedback
1
531
August 27, 2019