|
.idea
|
implemented lambda engine
|
2026-05-20 21:15:55 +00:00 |
|
gradle/wrapper
|
initial commit
|
2026-05-20 18:17:35 +00:00 |
|
src
|
added more terms to the prelude
|
2026-05-21 05:48:22 +00:00 |
|
.gitignore
|
initial commit
|
2026-05-20 18:17:35 +00:00 |
|
build.gradle.kts
|
implemented lambda engine
|
2026-05-20 21:15:55 +00:00 |
|
gradle.properties
|
initial commit
|
2026-05-20 18:17:35 +00:00 |
|
gradlew
|
initial commit
|
2026-05-20 18:17:35 +00:00 |
|
gradlew.bat
|
initial commit
|
2026-05-20 18:17:35 +00:00 |
|
settings.gradle.kts
|
initial commit
|
2026-05-20 18:17:35 +00:00 |
