summaryrefslogtreecommitdiff
path: root/README.md
diff options
context:
space:
mode:
authorSon HO2021-11-02 13:51:27 +0100
committerGitHub2021-11-02 13:51:27 +0100
commit09bfbde5ebdc60cef109b570b6c6f567a5b516b0 (patch)
treef4f914776922e8832ca7a61656266ab221a5525c /README.md
Initial commit
Diffstat (limited to '')
-rw-r--r--README.md2
1 files changed, 2 insertions, 0 deletions
diff --git a/README.md b/README.md
new file mode 100644
index 00000000..74b081e6
--- /dev/null
+++ b/README.md
@@ -0,0 +1,2 @@
+# aeneas
+From Rust to pure programs