|
bidir
|
ok kinda works?
|
2023-11-30 11:22:31 -06:00 |
|
.gitattributes
|
Add '.gitattributes'
|
2023-11-07 03:36:56 -06:00 |
|
.gitignore
|
ignore pijul files
|
2023-11-02 03:40:25 -05:00 |
|
.tokeignore
|
ignore
|
2023-11-07 02:50:36 -06:00 |
|
Cargo.lock
|
id typechecks
|
2023-11-29 20:54:43 -06:00 |
|
Cargo.toml
|
ok we're back to rust
|
2023-11-01 23:46:22 -05:00 |
|
csci8980-f23.agda-lib
|
waht the hell
|
2023-10-18 23:27:04 -05:00 |
|
extra-problem-3.typ
|
wip
|
2023-11-05 22:02:07 -06:00 |
|
extraexercises.agda
|
wip
|
2023-11-05 22:02:07 -06:00 |
|
hwk1.agda
|
waht the hell
|
2023-10-18 23:27:04 -05:00 |
|
hwk1.typ
|
wip
|
2023-11-05 22:02:07 -06:00 |
|
hwk2.agda
|
wip
|
2023-11-05 22:02:07 -06:00 |
|
hwk2.typ
|
convert
|
2023-11-13 02:52:54 -06:00 |
|
Makefile
|
ok we're back to rust
|
2023-11-01 23:46:22 -05:00 |
|
out.rs
|
wip
|
2023-11-13 09:27:20 -06:00 |
|
rustfmt.toml
|
fmt
|
2023-11-13 03:08:32 -06:00 |
|
scratch.typ
|
wip
|
2023-11-05 22:02:07 -06:00 |
