anoma/juvix
1
1
Fork 0
mirror of https://github.com/anoma/juvix.git synced 2024-12-11 08:25:46 +03:00
Code Issues Projects Releases Wiki Activity
57a6a7ebec
juvix/examples/milestone
History
Paul Cadman 504b5ec799
Rename builtin natural to nat and boolean to bool (#1588)
2022-10-14 18:42:03 +02:00
..
Collatz remove ≔ from the language and replace it by := (#1563) 2022-09-30 10:55:32 +10:00
Fibonacci remove ≔ from the language and replace it by := (#1563) 2022-09-30 10:55:32 +10:00
Hanoi remove ≔ from the language and replace it by := (#1563) 2022-09-30 10:55:32 +10:00
HelloWorld remove ≔ from the language and replace it by := (#1563) 2022-09-30 10:55:32 +10:00
PascalsTriangle remove ≔ from the language and replace it by := (#1563) 2022-09-30 10:55:32 +10:00
TicTacToe remove ≔ from the language and replace it by := (#1563) 2022-09-30 10:55:32 +10:00
ValidityPredicates Rename builtin natural to nat and boolean to bool (#1588) 2022-10-14 18:42:03 +02:00