Commit f5e18682 authored by Sven Keidel's avatar Sven Keidel

Add acknowledgements to readme

parent 186693e4
......@@ -6,4 +6,13 @@ To build, install the [Stack]( build tool and run
The sturdy project currently contains concrete and abstract interpreters for three languages:
* _PCF_, a higher-order functional language with numbers
* _While_, an imperative language with conditionals and while loops
* _Stratego_, a language for program transformations
\ No newline at end of file
* _Stratego_, a language for program transformations
## Acknowledgments
I want to thank all people that have contributed to this project (in alphabetical order):
Matthijs Bijman
Sebastian Erdweg
Jente Hidskes
Wouter Raateland
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment