Initial layout

jqscala · Mar 24, 2024 · 2f1b4e0 · 2f1b4e0
1 parent 0a78a41
commit 2f1b4e0
Show file tree

Hide file tree

Showing 24 changed files with 308 additions and 2,829 deletions.
diff --git a/.gitignore b/.gitignore
@@ -1,29 +1,38 @@
-##
-## Scala-specific
-##
-*.class
-*.log
+# macOS
+.DS_Store
 
 # sbt specific
-.cache
-.history
-.lib/
 dist/*
 target/
-**/target/
 lib_managed/
 src_managed/
 project/boot/
 project/plugins/project/
+project/local-plugins.sbt
+.history
+.ensime
+.ensime_cache/
+.sbt-scripted/
+local.sbt
+
+# Bloop
+.bsp
 
+# VS Code
+.vscode/
 
-# Scala-IDE specific
-.scala_dependencies
-.worksheet
+# Metals
+.bloop/
+.metals/
+metals.sbt
 
-##
-## ECLIPSE-Specific.
-##
+# IDEA
+.idea
+.idea_modules
+/.worksheet/
+
+
+# ECLIPSE-Specific.
 *.pydevproject
 .metadata
 .gradle
@@ -35,20 +44,15 @@ tmp/
 local.properties
 .settings/
 .loadpath
-# External tool builders
 .externalToolBuilders/
-# Locally stored "Eclipse launch configurations"
 *.launch
-# sbteclipse plugin
 .target
 
 # Ensime specific
 .ensime
 .ensime_lucene/
 
-##
-## emacs-specific.
-##
+# emacs-specific.
 *~
 \#*\#
 /.emacs.desktop
@@ -74,11 +78,7 @@ tramp
 # cask packages
 .cask/
 
-
-
-##
-## SUBLIME-Specific.
-##
+# SUBLIME-Specific.
 # cache files for sublime text
 *.tmlanguage.cache
 *.tmPreferences.cache
@@ -91,51 +91,3 @@ tramp
 # sftp configuration file
 sftp-config.json
 
-##
-## Idea
-##
-
-.idea/
-**/.idea/
-MANIFEST
-build
-dist
-_build
-docs/man/*.gz
-docs/source/api/generated
-docs/source/config.rst
-docs/gh-pages
-notebook/i18n/*/LC_MESSAGES/*.mo
-notebook/i18n/*/LC_MESSAGES/nbjs.json
-notebook/static/components
-notebook/static/style/*.min.css*
-notebook/static/*/js/built/
-notebook/static/*/built/
-notebook/static/built/
-notebook/static/*/js/main.min.js*
-notebook/static/lab/*bundle.js
-node_modules
-*.py[co]
-__pycache__
-*.egg-info
-*~
-*.bak
-.ipynb_checkpoints
-.tox
-.DS_Store
-\#*#
-.#*
-.coverage
-.pytest_cache
-
-*.swp
-*.map
-.idea/
-Read the Docs
-config.rst
-
-/.project
-/.pydevproject
-
-package-lock.json
-geckodriver.log
diff --git a/0-Why.ipynb b/0-Why.ipynb
diff --git a/1-FixedDomain.ipynb b/1-FixedDomain.ipynb
diff --git a/2-DomainAbstraction.ipynb b/2-DomainAbstraction.ipynb
diff --git a/3-DynamicTyping.ipynb b/3-DynamicTyping.ipynb
diff --git a/4-StaticTyping.ipynb b/4-StaticTyping.ipynb