Commits · master · Frontull Samuel / alpha

19 Oct, 2021 6 commits
- fixed approximative computation of legal paths · dca08592
  Frontull Samuel authored Oct 19, 2021
  
  dca08592
- code cleanup · 7e671c1a
  Frontull Samuel authored Oct 19, 2021
  
  7e671c1a
- legal paths limited and only approximated for dot · 0f922eb8
  Frontull Samuel authored Oct 19, 2021
  
  0f922eb8
- updated readme · 7ab65e0c
  Frontull Samuel authored Oct 19, 2021
  
  7ab65e0c
- formatting and cmd tool · 3dd08b84
  Frontull Samuel authored Oct 19, 2021
  
  3dd08b84
- separated dune from flask · 8b679f55
  Frontull Samuel authored Oct 19, 2021
  
  8b679f55
18 Oct, 2021 4 commits
- updated edge colors according to thesis · 0d999b01
  Frontull Samuel authored Oct 18, 2021
  
  0d999b01
- updated readme · 4dfe04b6
  Frontull Samuel authored Oct 18, 2021
  
  4dfe04b6
- updated tests and readme · 42f84431
  Frontull Samuel authored Oct 18, 2021
  
  42f84431
- restructured · 77f5ad7c
  Frontull Samuel authored Oct 18, 2021
  
  77f5ad7c
17 Oct, 2021 1 commit
- pcp comments · 99e9c01b
  Frontull Samuel authored Oct 17, 2021
  
  99e9c01b
08 Aug, 2021 4 commits
- pcp in lc in haskell · c3c1a2ee
  Frontull Samuel authored Aug 08, 2021
  
  c3c1a2ee
- SKI, true as K · 2edf668e
  Frontull Samuel authored Aug 08, 2021
  
  2edf668e
- reduce with combinators · 7b4c4de1
  Frontull Samuel authored Aug 08, 2021
  
  7b4c4de1
- transform to ski calculus · 6cbb5564
  Frontull Samuel authored Aug 08, 2021
  
  6cbb5564
27 Jul, 2021 14 commits
- removed type abberaviations · 029ca04e
  Frontull Samuel authored Jul 27, 2021
  
  029ca04e
- removed one problem · a9edcd87
  Frontull Samuel authored Jul 27, 2021
  
  a9edcd87
- final touch · 55ebf977
  Frontull Samuel authored Jul 27, 2021
  
  55ebf977
- added two difficult pcp problems · 7d5e947e
  Frontull Samuel authored Jul 27, 2021
  
  7d5e947e
- different type name · 16bf96f9
  Frontull Samuel authored Jul 27, 2021
  
  16bf96f9
- commented last functions · 5a773a38
  Frontull Samuel authored Jul 27, 2021
  
  5a773a38
- documenation · 50b7e255
  Frontull Samuel authored Jul 27, 2021
  
  50b7e255
- changed string representation to \abx -> x · 68b7f1bf
  Frontull Samuel authored Jul 27, 2021
  
  68b7f1bf
- unString vs unChurch · c6b49c55
  Frontull Samuel authored Jul 27, 2021
  
  c6b49c55
- type alias · d8515360
  Frontull Samuel authored Jul 27, 2021
  
  d8515360
- bool types · 6b0a183e
  Frontull Samuel authored Jul 27, 2021
  
  6b0a183e
- with nonrecursive y combinator · 033db585
  Frontull Samuel authored Jul 27, 2021
  
  033db585
- pcp lambda calculus in haskell · 09f4f358
  Frontull Samuel authored Jul 27, 2021
  
  09f4f358
- pcp done · 13956d87
  Frontull Samuel authored Jul 27, 2021
  
  13956d87
26 Jul, 2021 1 commit
- todo: find solution for head list · cf5b4d2b
  Frontull Samuel authored Jul 26, 2021
  
  cf5b4d2b
25 Jul, 2021 1 commit
- fixed bug recursion by changing type of land and lor · a3ead3df
  Frontull Samuel authored Jul 25, 2021
  
  a3ead3df
16 Jul, 2021 1 commit
- all bugs fixed, trs works · 3ffa20f0
  Frontull Samuel authored Jul 16, 2021
  
  3ffa20f0
15 Jul, 2021 2 commits
- bugfix in simp function · 612c6131
  Frontull Samuel authored Jul 15, 2021
  
  612c6131
- pcp trs · 08c457e3
  Frontull Samuel authored Jul 15, 2021
  
  08c457e3
13 Jul, 2021 3 commits
- some optimizations · 806a28dc
  Frontull Samuel authored Jul 13, 2021
  
  806a28dc
- bugfix concatenation prepended instead of append · 3582da47
  Frontull Samuel authored Jul 13, 2021
  
  3582da47
- pcp with filter · 0a661bd3
  Frontull Samuel authored Jul 13, 2021
  
  0a661bd3
12 Jul, 2021 3 commits
- pcp done · 408a4e34
  Frontull Samuel authored Jul 12, 2021
  
  408a4e34
- error found? · d5d0840d
  Frontull Samuel authored Jul 12, 2021
  
  d5d0840d
- error found in eq_str · ad4a88bc
  Frontull Samuel authored Jul 12, 2021
  
  ad4a88bc