modal/examples
Devine Lu Linvega eee55d5c6d Print rules as they happen 2024-04-09 08:56:25 -07:00
..
arithmetic.modal Fixed issue with empty r->b rules 2024-04-07 19:03:04 -07:00
combinators.modal Organized things a bit 2024-04-04 15:33:22 -07:00
concat.modal Organized things a bit 2024-04-04 15:33:22 -07:00
console_read.modal Restored hello world 2024-04-06 15:49:25 -07:00
console_write.modal Added I/O 2024-04-06 15:48:17 -07:00
flip.modal String flip example 2024-04-07 12:35:59 -07:00
hello.modal Print rules as they happen 2024-04-09 08:56:25 -07:00
lisp.modal Organized things a bit 2024-04-04 15:33:22 -07:00
prelude.modal Organized things a bit 2024-04-04 15:33:22 -07:00
prelude2.modal Organized things a bit 2024-04-04 15:33:22 -07:00
test.modal Print rules as they happen 2024-04-09 08:56:25 -07:00