Commits · master · Benjamin Slade / Frege

Browse files

Oct 09, 2025
- add migration notice · e7a0ffe4
  Benjamin Slade authored Oct 09, 2025
  
  e7a0ffe4
Feb 17, 2020
- (fix numbering in LICENCE.org) · 9e8a2622
  Benjamin Slade authored Feb 17, 2020
  
  9e8a2622
- fix licence things · 4dc2b07f
  Benjamin Slade authored Feb 17, 2020
  
  4dc2b07f
- add GPL3.0 licence things · a3d7ae8d
  Benjamin Slade authored Feb 17, 2020
  
  a3d7ae8d
- Add LICENCE · 8bac5c05
  Benjamin Slade authored Feb 17, 2020
  
  8bac5c05
- Fix incorrect definition of ∃ · a75edb12
  Benjamin Slade authored Feb 17, 2020
  
  a75edb12
- add copyright notice & minor changes to README · b370551d
  Benjamin Slade authored Feb 17, 2020
  b370551d
Sep 10, 2019
- give up trying to style the ",", just quote it · 4e4b4b7f
  Benjamin Slade authored Sep 09, 2019
  
  4e4b4b7f
- fix up table · e9828026
  Benjamin Slade authored Sep 09, 2019
  
  e9828026
- add more to README · 1f00f277
  Benjamin Slade authored Sep 09, 2019
  
  1f00f277
- add initial README · 783f6b97
  Benjamin Slade authored Sep 09, 2019
  
  783f6b97
- make examples such that only type e things are undefined · af6d1fed
  Benjamin Slade authored Sep 09, 2019
  af6d1fed
Aug 15, 2019
- change 'love' in an interpreted function · b01635b5
  Benjamin Slade authored Aug 14, 2019
  b01635b5
Aug 01, 2019
- tidying up comments · 9ab3f391
  Benjamin Slade authored Jul 31, 2019
  9ab3f391
Jul 31, 2019
- fix conflicts · 2c123927
  Benjamin Slade authored Jul 31, 2019
  
  2c123927
- add bidirectional implication operator · 4a4ba546
  Benjamin Slade authored Jul 31, 2019
  
  4a4ba546
- add or/disj operator · 76df4bc4
  Benjamin Slade authored Jul 31, 2019
  
  76df4bc4
- add ∃/exists, 'some' · 50df0de2
  Benjamin Slade authored Jul 31, 2019
  50df0de2
- Merge remote-tracking branch 'origin/jesse' into HEAD · a8628fe0
  Benjamin Slade authored Jul 31, 2019
  
  a8628fe0
- Three more examples. · cab80782
  Jesse Tov authored Jul 30, 2019 and Benjamin Slade committed Jul 31, 2019
  cab80782
- Three more examples. · 52fa292b
  Jesse Tov authored Jul 30, 2019 and Benjamin Slade committed Jul 31, 2019
  52fa292b
- Merge branch 'fix-binding' into 'master' · aba9148c
  Benjamin Slade authored Jul 31, 2019
  aba9148c
Jul 30, 2019
- Three more examples. · e895bcd9
  Jesse Tov authored Jul 30, 2019
  
  e895bcd9
- Renamed #:abstract to #:uninterpreted. · c3b58420
  Jesse Tov authored Jul 30, 2019
  
  c3b58420
- Renamed 'if' to 'when' (more consistent with Racket). · ef73a751
  Jesse Tov authored Jul 30, 2019
  
  ef73a751
- Propagates expected codomain type through λ-with-annotation. · 7e97d42e
  Jesse Tov authored Jul 30, 2019
  
  7e97d42e
- Made λ-with-type-annotation syntax more consistent. · 5b5a92fa
  Jesse Tov authored Jul 30, 2019
  
  5b5a92fa
- Style cleanup: · 5e576cf7
  Jesse Tov authored Jul 30, 2019
  5e576cf7
- Cleans up representation of binding. · 1324a8e5
  Jesse Tov authored Jul 30, 2019
  1324a8e5
- Ignoring compiled directory · 334d25e0
  Jesse Tov authored Jul 30, 2019
  
  334d25e0
- Fixes a bug where σ:type was being treated as a single identifier. · 5e596fdf
  Jesse Tov authored Jul 30, 2019
  5e596fdf
Jul 17, 2019
- add more definitions · bd63e172
  Benjamin Slade authored Jul 16, 2019
  
  bd63e172
- fix position of unquote · 08e2c98e
  Benjamin Slade authored Jul 16, 2019
  
  08e2c98e
- initial commit · 60dec011
  Benjamin Slade authored Jul 16, 2019
  
  60dec011