6 Коммиты (950f548b5a94b89afc9cc641027884a1236e1f26)

Автор SHA1 Сообщение Дата
  Tobias Waldekranz.com 9d1fd05e0a rewrite const math expressions лет назад: 8
  Tobias Waldekranz.com 01d681fcf9 function verifier done, started on rewrites лет назад: 8
  Tobias Waldekranz.com 1843f91d53 rename base types, start on validation лет назад: 8
  Tobias Waldekranz.com f112feac82 first tiny program's types are all inferred лет назад: 8
  Tobias Waldekranz.com a721c3bd2b drink the LISP koolaid лет назад: 8
  Tobias Waldekranz.com f2acf454e5 get rid of tid лет назад: 8