Rakarake/churf
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
churf/sample-programs/eta_test1.crf
sebastianselander 8b92dd9194 Added η-expander module and removed EAdd from grammar.
2023-05-12 16:25:48 +02:00

4 lines
28 B
Text
Raw Permalink Blame History

id x = x
f = id
main = f 1
Reference in a new issue View git blame Copy permalink