Commits · cf336b73bdbb898e0ddc9ecbd9040fd481dcc1bd · Štěpán Balážik / sci-bp

May 07, 2023
- chapter names · cf336b73
  Štěpán Balážik authored May 07, 2023
  
  cf336b73
- theory: wip · 119108ae
  Štěpán Balážik authored May 07, 2023
  
  119108ae
- text theory wip · b1cf759a
  Štěpán Balážik authored May 07, 2023
  
  b1cf759a
May 03, 2023
- text wip · 25df5055
  Štěpán Balážik authored May 03, 2023
  
  25df5055
- wip: notes · 044ba796
  Štěpán Balážik authored May 03, 2023
  
  044ba796
- frontend support for natural language exercises · a3ec4a1b
  Štěpán Balážik authored May 03, 2023
  
  a3ec4a1b
- add backend support for natural language exercises · d5585586
  Štěpán Balážik authored May 03, 2023
  
  d5585586
May 02, 2023
- naming, it's hard · f32d0a91
  Štěpán Balážik authored May 02, 2023
  
  f32d0a91
- split description and symbol meaning · f4e7419f
  Štěpán Balážik authored May 02, 2023
  
  f4e7419f
- remove dependency on flask · f868e9b1
  Štěpán Balážik authored May 02, 2023
  
  f868e9b1
- add deploy script · 6b585b43
  Štěpán Balážik authored May 02, 2023
  
  6b585b43
- remove unused app.py · d121cd63
  Štěpán Balážik authored May 02, 2023
  
  d121cd63
- shade to green on correct answer · 4523c0b8
  Štěpán Balážik authored May 02, 2023
  
  4523c0b8
May 01, 2023
- remove sqlite dumping, dump directly to json from python files · bf1a45b0
  Štěpán Balážik authored May 01, 2023
```
run `python -m exercises.collect` to generate json for front-end
```
  bf1a45b0
- stub out chapters · 156a95f2
  Štěpán Balážik authored May 01, 2023
  
  156a95f2
- add more examples · 4150570d
  Štěpán Balážik authored May 01, 2023
  
  4150570d
- logic cleanup · 2a2dabd9
  Štěpán Balážik authored May 01, 2023
  
  2a2dabd9
Apr 20, 2023
- add buttons to filter by categories · 70cc5d8f
  Štěpán Balážik authored Apr 20, 2023
  
  70cc5d8f
- more work on examples · bd40cd0b
  Štěpán Balážik authored Apr 20, 2023
  
  bd40cd0b
Apr 16, 2023
- fix toolbox generation · 826aca1f
  Štěpán Balážik authored Apr 16, 2023
  
  826aca1f
- add some proper (ish) examples · b2a1c2b0
  Štěpán Balážik authored Apr 16, 2023
  
  b2a1c2b0
Apr 13, 2023
- load expression from generated json file · d1c935d0
  Štěpán Balážik authored Apr 13, 2023
  
  d1c935d0
- change color of correct block · d346edf3
  Štěpán Balážik authored Apr 13, 2023
  
  d346edf3
Apr 07, 2023
- rudimentary correctness checking · 77671459
  Štěpán Balážik authored Apr 07, 2023
  
  77671459
Apr 06, 2023
- factor out blocks to a file · 17101db1
  Štěpán Balážik authored Apr 06, 2023
  
  17101db1
- implement blocks for sets and co · 2d58302d
  Štěpán Balážik authored Apr 06, 2023
  
  2d58302d
Mar 27, 2023
- incremental work on predicate logic · ee2a3609
  Štěpán Balážik authored Mar 27, 2023
  
  ee2a3609
- make `infix` be a attribute of a symbol rather than application · 67969185
  Štěpán Balážik authored Mar 27, 2023
  
  67969185
Mar 26, 2023
- rendering of propositional logic in blockly · af2164b9
  Štěpán Balážik authored Mar 26, 2023
  
  af2164b9
- rename classes to be unique throughout · f9c646cf
  Štěpán Balážik authored Mar 26, 2023
  
  f9c646cf
- add a negation example · 50d1f8e1
  Štěpán Balážik authored Mar 26, 2023
  
  50d1f8e1
- python: format · b9e8d6f7
  Štěpán Balážik authored Mar 26, 2023
  
  b9e8d6f7
- update dependencies · 9b2311e8
  Štěpán Balážik authored Mar 26, 2023
  
  9b2311e8
- setup gitignore · b9e1f24a
  Štěpán Balážik authored Mar 26, 2023
  
  b9e1f24a
- web interface stub · 2cfc1e21
  Štěpán Balážik authored Mar 26, 2023
  
  2cfc1e21
Mar 23, 2023
- implement __call__ for FunctionSymbol and PredicateSymbol · 01eb90e8
  Štěpán Balážik authored Mar 23, 2023
  
  01eb90e8
- add a basic database interface · c383ca98
  Štěpán Balážik authored Mar 23, 2023
  
  c383ca98
- move logic implementations to subfolder · 3a79090f
  Štěpán Balážik authored Mar 23, 2023
  
  3a79090f
- typing · 0ed578c2
  Štěpán Balážik authored Mar 23, 2023
  
  0ed578c2
- json deserialization · 2cecf63c
  Štěpán Balážik authored Mar 21, 2023
  
  2cecf63c