scott/rudus
1
0
Fork 0
Code Issues 12 Pull Requests Actions Packages Projects Releases Wiki Activity
82 Commits 2 Branches 0 Tags 910 KiB
main
Commit Graph

5 Commits

Author SHA1 Message Date
Scott Richmond
73e60b8ced bring full prelude into Ludus. 2024-12-12 19:43:56 -05:00
Scott Richmond
49a0b0f8a7 fix loop validation bugs 2024-12-12 19:28:55 -05:00
Scott Richmond
ac4bd0fb55 improve panic reports 2024-12-12 19:01:51 -05:00
Scott Richmond
6a01089973 closing works, so does importing from Prelude! 2024-12-11 17:22:37 -05:00
Scott Richmond
d48a787447 all the work trying to write a validator 2024-12-10 16:44:52 -05:00