From fbc61e9458739c3c9ee82b0fcc9428a77b899595 Mon Sep 17 00:00:00 2001 From: Kiana Sheibani Date: Tue, 29 Nov 2022 13:38:17 -0500 Subject: [PATCH] Create basic package structure --- .gitignore | 5 +++++ LICENSE | 2 +- README.md | 2 +- render.ipkg | 10 ++++++++++ 4 files changed, 17 insertions(+), 2 deletions(-) create mode 100644 .gitignore create mode 100644 render.ipkg 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"