Commit Graph

  • fe5b73cb7f Ignore executable master Francesco Magliocca 2022-05-22 13:54:49 +0200
  • 418eb24c7a Start writing operational semantics Francesco Magliocca 2022-05-20 12:54:49 +0200
  • 85de4c7b4e Rename kakoune scripts directory Francesco Magliocca 2022-05-20 12:07:06 +0200
  • 839ea58843 Update readme Francesco Magliocca 2022-05-18 21:23:53 +0200
  • d3fae1110d Change name Francesco Magliocca 2022-05-18 15:56:35 +0200
  • 77a0831254 Add new example Francesco Magliocca 2022-05-18 11:50:44 +0200
  • 430e9ca140 Improve parser errors Francesco Magliocca 2022-05-18 11:50:36 +0200
  • a10f3db4fc Rename project Francesco Magliocca 2022-05-18 08:53:45 +0200
  • 2911139d96 Fix some parser errors Francesco Magliocca 2022-05-18 00:18:31 +0200
  • 7dac4b66d3 Fix some parser errors Francesco Magliocca 2022-05-17 21:33:36 +0200
  • dfbe469fb3 Add an example and the kak script Francesco Magliocca 2022-05-17 21:33:25 +0200
  • 5073f33c9f First commit, with parser Francesco Magliocca 2022-05-17 18:44:40 +0200