Commits · master · Conor McBride / possum

Jul 19, 2019
- lint · 95bca49f
  Conor McBride authored 5 years ago
  
  95bca49f
Jul 18, 2019
- added space token before openings · 7caa2653
  Conor McBride authored 5 years ago
  
  7caa2653
- took the courage to get rid of ! and use | for both jobs · c3dd233c
  Conor McBride authored 5 years ago
  
  c3dd233c
- how embarrassing: I forgot space tokens · ed31ccb5
  Conor McBride authored 5 years ago
  
  ed31ccb5
- fiddling with spaces compulsively · 565f80c1
  Conor McBride authored 5 years ago
  
  565f80c1
- the spatial program again again · a0f990bf
  Conor McBride authored 5 years ago
  
  a0f990bf
- not a significant moment of achievement; just a relocation in space · 38ea830d
  Conor McBride authored 5 years ago
  
  38ea830d
Jul 17, 2019
- lexer with funny brackets · 5f3970bb
  Conor McBride authored 5 years ago
  
  5f3970bb
- main as pandoc · a627cfe3
  Conor McBride authored 5 years ago
  
  a627cfe3
- reordered · 241b2daf
  Conor McBride authored 5 years ago
  
  241b2daf
- a bit of Stuff · ca41b96c
  Conor McBride authored 5 years ago
  
  ca41b96c
- gratuitous serial numbering of code blocks · 247f9da3
  Conor McBride authored 5 years ago
  
  247f9da3
- PanCode now breaks out footle · fffa8865
  Conor McBride authored 5 years ago
  
  fffa8865
- PanCode just beginning · 5b1daa12
  Conor McBride authored 5 years ago
  
  5b1daa12
- is this a thing now? · 8068cf43
  Conor McBride authored 5 years ago
  
  8068cf43
- trying out markdown-unlit · df7655b0
  Conor McBride authored 5 years ago
  
  df7655b0
- trying a thing · cf2be19d
  Conor McBride authored 5 years ago
  
  cf2be19d
- renamed src directory to make room for the "official" version · ba8df3f5
  Conor McBride authored 5 years ago
  
  ba8df3f5
- ml71 rides again! · a32bec69
  Conor McBride authored 5 years ago
  
  a32bec69
Jul 16, 2019
- generalisation over judgement forms is becoming a thing · e84d88b6
  Conor McBride authored 5 years ago
  
  e84d88b6
Jul 14, 2019
- well, that was quite some brainfart · e408a8be
  Conor McBride authored 5 years ago
  
  e408a8be
- what *have* I done? · 227a55b1
  Conor McBride authored 5 years ago
  
  227a55b1
- typechecking ml71 · 0a3f1097
  Conor McBride authored 5 years ago
  
  0a3f1097
- hnf now seems to work · c5b1f812
  Conor McBride authored 5 years ago
  
  c5b1f812
Jul 13, 2019
- kickoff · d554ebac
  Conor McBride authored 5 years ago
  
  d554ebac
Jul 11, 2019
- Add README.md · 64715ed6
  Conor McBride authored 5 years ago
  
  64715ed6