Commit graph

Select branches

Hide pull requests

master

Mono Color

• 5440b4b482
  
  wip tactics master Michael Zhang 2020-06-04 07:22:09 -0500
• 027cc8dc14
  
  Poly.v Michael Zhang 2020-06-04 05:32:54 -0500
• ec45376417
  
  fix tests Michael Zhang 2020-06-04 05:32:49 -0500
• a4c7f5bcf3
  
  fml Michael Zhang 2020-06-04 04:26:23 -0500
• f83982ca88
  
  create builds.yml Michael Zhang 2020-06-04 04:24:56 -0500
• 4623e58de2
  
  fix tests Michael Zhang 2020-06-04 04:22:37 -0500
• 974ab5422b
  
  some induction + lists Michael Zhang 2020-06-04 04:16:57 -0500
• 3432fc448c
  
  complete basics Michael Zhang 2020-06-04 00:02:38 -0500
• 9e8c105bc2
  
  gitignore Michael Zhang 2020-06-03 21:49:22 -0500
• bc27534fa2
  
  initial Michael Zhang 2020-06-03 21:46:06 -0500