diff --git a/.gitignore b/.gitignore new file mode 100644 index 0000000..26223c6 --- /dev/null +++ b/.gitignore @@ -0,0 +1,5 @@ +*.ibc +*.o + +build/ +*.*~ diff --git a/LICENSE b/LICENSE index 4d48a87..a6cd5b6 100644 --- a/LICENSE +++ b/LICENSE @@ -1,6 +1,6 @@ MIT License -Copyright (c) 2022 Kiana Sheibani +Copyright (c) 2022 Kiana Sheibani, Eszter Permission is hereby granted, free of charge, to any person obtaining a copy of this software and associated documentation files (the "Software"), to deal diff --git a/README.md b/README.md index 410f7ff..45668e3 100644 --- a/README.md +++ b/README.md @@ -1 +1 @@ -# idris2-render \ No newline at end of file +# Idris2 Renderer diff --git a/render.ipkg b/render.ipkg new file mode 100644 index 0000000..afce705 --- /dev/null +++ b/render.ipkg @@ -0,0 +1,10 @@ +package render +version = 0.0 + +authors = "Kiana Sheibani, Eszter" +license = "MIT" + +langversion >= 0.5.1 + +sourcedir = "src" +readme = "README.md"