test/ikc3/puts.kc3


Log

Author Commit Date CI Message
Thomas de Grivel 57f6d1ad 2024-08-05T13:06:41 wip integer_reduce
Thomas de Grivel 9ef64e73 2024-07-19T19:26:17 rename test/ikc3/*.in into *.kc3